Expand description
Type context book-keeping.
Modulesยง
Macrosยง
- direct_
interners ๐ - nop_
lift ๐ - nop_
list_ ๐lift - nop_
slice_ ๐lift - slice_
interners ๐ - sty_
debug_ ๐print
Structsยง
- This is used to get a reference to a
GlobalCtxt
if one is available. - Parameter attributes that can only be determined by examining the body of a function instead of just its signature.
- The same as
TyCtxtFeed
, but does not contain aTyCtxt
. Use this to pass around when you have aTyCtxt
elsewhere. Just an optimization to save space and not store hundreds ofTyCtxtFeed
in the resolver. - This struct contains information regarding a free parameter region, either a
ReEarlyParam
orReLateParam
. - See TyCtxt for details about this type.
- Interned
InSet ๐ - The central data structure of the compiler. It stores references to the various arenas and also houses the results of the various compiler queries that have been performed. See the rustc dev guide for more details.
- This struct should only be created by
create_def
.
Constantsยง
Traitsยง
- A trait implemented for all
X<'a>
types that can be safely and efficiently converted toX<'tcx>
as long as they are part of the providedTyCtxt<'tcx>
. This can be done, for example, forTy<'tcx>
orGenericArgsRef<'tcx>
by looking them up in their respective interners.
Functionsยง
- _assert_
tcx_ ๐fields
Type Aliasesยง
- Interned
Set ๐