hir_ty::next_solver::predicate

Type Alias RegionOutlivesPredicate

Source 
pub type RegionOutlivesPredicate<'db> = OutlivesPredicate<'db, Region<'db>>;

Aliased Type§

pub struct RegionOutlivesPredicate<'db>(pub Region<'db>, pub Region<'db>);

Tuple Fields§

§0: Region<'db>§1: Region<'db>