flux_rustc_bridge::ty

Type Alias TypeOutlivesPredicate

Source 
pub type TypeOutlivesPredicate = OutlivesPredicate<Ty>;

Aliased Type§

struct TypeOutlivesPredicate(pub Ty, pub Region);

Fields§

§0: Ty§1: Region