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
  • 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
  • EarlyParamRegion
  • 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.
  • GenSig
  • InlineConstArgs
    An inline const is modeled like
  • InlineConstArgsParts
    Struct returned by split().
  • LateParamRegion
    The parameter representation of late-bound function parameters, “some region at least as big as the scope fr.scope”.
  • 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:

Enums§

Traits§

Type Aliases§