Expand description
Type context book-keeping.
Modules§
Macros§
- bidirectional_
lang_ 🔒item_ map - direct_
interners 🔒 - nop_
lift 🔒 - nop_
list_ 🔒lift - slice_
interners 🔒 - sty_
debug_ 🔒print
Structs§
- Common
Consts - Common
Lifetimes - Common
Types - Ctxt
Interners - Current
Gcx - This is used to get a reference to a
GlobalCtxt
if one is available. - Deduced
Param Attrs - Parameter attributes that can only be determined by examining the body of a function instead of just its signature.
- Feed
- 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. - Free
Region Info - This struct contains information regarding a free parameter region,
either a
ReEarlyParam
orReLateParam
. - Global
Ctxt - See TyCtxt for details about this type.
- Interned
InSet 🔒 - TyCtxt
- 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.
- TyCtxt
Feed - This struct should only be created by
create_def
.
Constants§
- NUM_
PREINTERNED_ 🔒FRESH_ FLOAT_ TYS - NUM_
PREINTERNED_ 🔒FRESH_ INT_ TYS - NUM_
PREINTERNED_ 🔒FRESH_ TYS - NUM_
PREINTERNED_ 🔒RE_ LATE_ BOUNDS_ I - NUM_
PREINTERNED_ 🔒RE_ LATE_ BOUNDS_ V - NUM_
PREINTERNED_ 🔒RE_ VARS - NUM_
PREINTERNED_ 🔒TY_ VARS
Traits§
- Lift
- 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 - contains_
name - lang_
item_ 🔒to_ trait_ lang_ item - provide
- trait_
lang_ 🔒item_ to_ lang_ item