Module rustc_middle::ty::sty

source ·
Expand description

This module contains TyKind and its major components.

Modules

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).
  • BoundRegion
  • BoundTy
  • BoundVar
  • ClosureArgs
    A closure can be modeled as a struct that looks like:
  • ClosureArgsParts
    Struct returned by split().
  • ConstVid
    A const variable ID.
  • EarlyBoundRegion
  • EffectVid
    An effect variable ID.
  • ExistentialProjection
    A ProjectionPredicate for an ExistentialTraitRef.
  • ExistentialTraitRef
    An existential reference to a trait, where Self is erased. For example, the trait object Trait<'a, 'b, X, Y> is:
  • FnSig
    Signature of a function type, which we have arbitrarily decided to use to refer to the input/output types.
  • FreeRegion
    A “free” region fr can be interpreted as “some region at least as big as the scope fr.scope”.
  • GenSig
  • GeneratorArgs
    Similar to ClosureArgs; see the above documentation for more.
  • GeneratorArgsParts
  • InlineConstArgs
    An inline const is modeled like
  • InlineConstArgsParts
    Struct returned by split().
  • ParamConst
  • ParamTy
  • Region
    Use this rather than RegionKind, whenever possible.
  • RegionVid
    A region (lifetime) variable ID.
  • TraitRef
    A complete reference to a trait. These take numerous guises in syntax, but perhaps the most recognizable form is in a where-clause:
  • TypeAndMut

Enums

Traits

Type Aliases