Type Alias PolyExistentialProjection

pub type PolyExistentialProjection<'db> = Binder<'db, ExistentialProjection<'db>>;

Aliased Type

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

Trait Implementations

impl<'db> ToTrace<'db> for PolyExistentialProjection<'db>

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