Type Alias PolyExistentialTraitRef

pub type PolyExistentialTraitRef<'db> = Binder<'db, ExistentialTraitRef<'db>>;

Aliased Type

pub struct PolyExistentialTraitRef<'db> { /* private fields */ }

Trait Implementations

impl<'db> ToTrace<'db> for PolyExistentialTraitRef<'db>

fn to_trace(cause: &ObligationCause, a: Self, b: Self) -> TypeTrace<'db>