flux_middle::rty

Type Alias PolyExistentialTraitRef

Source 
pub type PolyExistentialTraitRef = Binder<ExistentialTraitRef>;

Aliased Type§

struct PolyExistentialTraitRef {
    vars: Interned<[BoundVariableKind]>,
    value: ExistentialTraitRef,
}

Fields§

§vars: Interned<[BoundVariableKind]>§value: ExistentialTraitRef

Implementations§