Module rustc_middle::ty::sty

Expand description

This module contains TyKind and its major components.

Modules§

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
GenSig
HasRegionsBoundAt 🔒
Unlike has_escaping_bound_vars or outermost_exclusive_binder, this will detect only regions bound at the debruijn index.
InlineConstArgs
An inline const is modeled like
InlineConstArgsParts
Struct returned by split().
ParamConst
ParamTy

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.