charon_lib::ast::types

Type Alias TypeOutlives

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

Aliased Type§

struct TypeOutlives(pub Ty, pub Region);

Fields§

§0: Ty§1: Region