Ben Gamari authored Sep 10, 2019 and Marge Bot committed Sep 11, 2019

3b31a94d introduced a use of isUnliftedType which can panic in the case
of levity-polymorphic types. Fix this by introducing mightBeUnliftedType
which returns whether the type is *guaranteed* to be lifted.