Type Alias UserAnnotationData 

pub type UserAnnotationData<'tcx> = (Vec<Ty<'tcx>>, Vec<Clause<'tcx>>);

The data of a user annotation: for each used projection we get the type of the corresponding place, and we record outlives predicates that must hold. The first vec matches the input list of projections, the second is free-form.

Trait Implementations

impl<'tcx> BinderVariances<'tcx> for UserAnnotationData<'tcx>

fn variances( _tcx: TyCtxt<'tcx>, _binder: &Binder<'tcx, Self>, ) -> HashMap<BoundVar, Variance>