Struct rustc_hir::hir::TypeBinding

pub struct TypeBinding<'hir> {
    pub hir_id: HirId,
    pub ident: Ident,
    pub gen_args: &'hir GenericArgs<'hir>,
    pub kind: TypeBindingKind<'hir>,
    pub span: Span,
}

Bind a type to an associated type (i.e., A = Foo).

Bindings like A: Debug are represented as a special type A = $::Debug that is understood by the astconv code.

FIXME(alexreg): why have a separate type for the binding case, wouldn’t it be better to make the ty field an enum like the following?

enum TypeBindingKind {
   Equals(...),
   Binding(...),
}

Fields

hir_id: HirId

ident: Ident

gen_args: &'hir GenericArgs<'hir>

kind: TypeBindingKind<'hir>

span: Span

Implementations

impl TypeBinding<'_>

pub fn ty(&self) -> &Ty<'_>

Trait Implementations

impl<'hir> Debug for TypeBinding<'hir>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for TypeBinding<'hir> where
    __CTX: HashStableContext, 

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)