QueryOutlivesConstraint

hir_ty::next_solver::infer::canonical

Type Alias QueryOutlivesConstraint 

Source 
pub type QueryOutlivesConstraint<'tcx> = ArgOutlivesPredicate<'tcx>;

Aliased Type§

pub struct QueryOutlivesConstraint<'tcx>(pub GenericArg<'tcx>, pub Region<'tcx>);

Tuple Fields§

§0: GenericArg<'tcx>§1: Region<'tcx>