hir_ty::next_solver::predicate

Type Alias OutlivesPredicate

Source 
pub type OutlivesPredicate<'db, T> = OutlivesPredicate<DbInterner<'db>, T>;

Aliased Type§

pub struct OutlivesPredicate<'db, T>(pub T, pub Region<'db>);

Tuple Fields§

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