Skip to main content

QueryOutlivesConstraint

hir_ide::next_solver::infer::canonical

Type Alias QueryOutlivesConstraint 

Source 
pub type QueryOutlivesConstraint<'tcx> = OutlivesPredicate<DbInterner<'tcx>, GenericArg<'tcx>>;

Aliased Type§

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

Tuple Fields§

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