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: IndexVec<RegionId, RegionParam>,
    pub skip_binder: TraitDeclRef,
}

Fields

regions: IndexVec<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.

Implementations

impl PolyTraitDeclRef

fn fmt_trait_proof<'a, C: AstFormatter + 'a>( &'a self, id: TraitClauseId, value: Option<&'a TraitRef>, ctx: &'a C, ) -> impl Display + 'a

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

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