Module rustc_middle::ty::sty

This module contains TyKind and its major components.

Modules

• size_asserts 🔒

Structs

• AliasTy
  Represents the projection of an associated type.
• Binder
  Binder is a binder for higher-ranked lifetimes or types. It is part of the compiler’s representation for things like for<'a> Fn(&'a isize) (which would be represented by the type PolyTraitRef == Binder<'tcx, TraitRef>). Note that when we instantiate, erase, or otherwise “discharge” these bound vars, we change the type from Binder<'tcx, T> to just T (see e.g., liberate_late_bound_regions).
• BoundTy
• ClosureArgs
  A closure can be modeled as a struct that looks like:
• ClosureArgsParts
  Struct returned by split().
• CoroutineArgs
  Similar to ClosureArgs; see the above documentation for more.
• CoroutineArgsParts
• CoroutineClosureArgs
• CoroutineClosureArgsParts
  See docs for explanation of how each argument is used.
• CoroutineClosureSignature
• FnSig
  Signature of a function type, which we have arbitrarily decided to use to refer to the input/output types.
• GenSig
• InlineConstArgs
  An inline const is modeled like
• InlineConstArgsParts
  Struct returned by split().
• ParamConst
• ParamTy

Enums

• BoundTyKind
• BoundVariableKind
• UpvarArgs
• VarianceDiagInfo
  Extra information about why we ended up with a particular variance. This is only used to add more information to error messages, and has no effect on soundness. While choosing the ‘wrong’ VarianceDiagInfo may lead to confusing notes in error messages, it will never cause a miscompilation or unsoundness.

Traits

• Article

Type Aliases

• CanonicalPolyFnSig
• PolyFnSig
• TyKind
• TypeAndMut