flux_rustc_bridge::ty

Type Alias PolyExistentialPredicate

Source 
pub type PolyExistentialPredicate = Binder<ExistentialPredicate>;

Aliased Type§

struct PolyExistentialPredicate(ExistentialPredicate, Interned<[BoundVariableKind]>);

Fields§

§0: ExistentialPredicate§1: Interned<[BoundVariableKind]>