pub fn push_outlives_components<I: Interner>(
cx: I,
ty: I::Ty,
out: &mut SmallVec<[Component<I>; 4]>,
)
Expand description
Push onto out
all the things that must outlive 'a
for the condition
ty0: 'a
to hold. Note that ty0
must be a fully resolved type.