Type Alias PolyTraitDeclRef

pub type PolyTraitDeclRef = RegionBinder<TraitDeclRef>;

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

Aliased Type

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

Fields

regions: Vector<RegionId, RegionParam>

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, f: &mut Formatter<'_>) -> Result

fn with_ctx<'a>(&'a self, ctx: &'a C) -> WithCtx<'a, C, Self>

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

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