charon_lib::ast::types

Type Alias TypeOutlives

Source 
pub type TypeOutlives = OutlivesPred<Ty, Region>;

Aliased Type§

pub struct TypeOutlives(pub Ty, pub Region);

Tuple Fields§

§0: Ty§1: Region