Function rustc_trait_selection::infer::outlives::components::push_outlives_components
source · pub fn push_outlives_components<'tcx>(
tcx: TyCtxt<'tcx>,
ty0: Ty<'tcx>,
out: &mut SmallVec<[Component<'tcx>; 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.