Module rustc_trait_selection::traits::query::dropck_outlives
source · Functions§
- Returns a set of constraints that needs to be satisfied in order for
ty
to be valid for destruction. - This returns true if the type
ty
is “trivial” for dropck-outlives – that is, if it doesn’t require any types to outlive. This is similar but not quite the same as theneeds_drop
test in the compiler already – that is, for every type T for which this function return true, needs-drop would returnfalse
. But the reverse does not hold: in particular,needs_drop
returns false forPhantomData
, but it is not trivial for dropck-outlives.