Module rustc_middle::ty::context
source · Expand description
Type context book-keeping.
Modules
Macros
- nop_lift 🔒
Structs
- Parameter attributes that can only be determined by examining the body of a function instead of just its signature.
- This struct contains information regarding the
ReFree(FreeRegion)
corresponding to a lifetime conflict. - See TyCtxt for details about this type.
- 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.