flux_middle::rty

Type Alias TypeOutlivesPredicate

Source 
pub type TypeOutlivesPredicate = OutlivesPredicate<Ty>;

Aliased Type§

struct TypeOutlivesPredicate(pub Ty, pub Region);

Fields§

§0: Ty§1: Region