Type Alias PolyTraitDeclRef

pub type PolyTraitDeclRef = RegionBinder<TraitDeclRef>;

A quantified trait predicate, e.g. for<'a> Type<'a>: Trait<'a, Args>.

Aliased Type

struct PolyTraitDeclRef {
    pub regions: Vector<RegionId, RegionVar>,
    pub skip_binder: TraitDeclRef,
}

Fields

regions: Vector<RegionId, RegionVar>

skip_binder: TraitDeclRef

Named this way to highlight accesses to the inner value that might be handling parameters incorrectly. Prefer using helper methods.

Trait Implementations

impl<C: AstFormatter> FmtWithCtx<C> for PolyTraitDeclRef

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, _tab: &str, _ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following: