Module rustc_middle::ty::context

source ·
Expand description

Type context book-keeping.

Modules§

Macros§

Structs§

Constants§

Traits§

  • A trait implemented for all X<'a> types that can be safely and efficiently converted to X<'tcx> as long as they are part of the provided TyCtxt<'tcx>. This can be done, for example, for Ty<'tcx> or GenericArgsRef<'tcx> by looking them up in their respective interners.

Functions§

Type Aliases§