pub struct GlobalCtxt<'tcx> {Show 24 fields
pub arena: &'tcx WorkerLocal<Arena<'tcx>>,
pub hir_arena: &'tcx WorkerLocal<Arena<'tcx>>,
interners: CtxtInterners<'tcx>,
pub sess: &'tcx Session,
crate_types: Vec<CrateType>,
stable_crate_id: StableCrateId,
pub dep_graph: DepGraph,
pub prof: SelfProfilerRef,
pub types: CommonTypes<'tcx>,
pub lifetimes: CommonLifetimes<'tcx>,
pub consts: CommonConsts<'tcx>,
pub(crate) hooks: Providers,
untracked: Untracked,
pub query_system: QuerySystem<'tcx>,
pub(crate) query_kinds: &'tcx [DepKindStruct<'tcx>],
pub ty_rcache: Lock<FxHashMap<CReaderCacheKey, Ty<'tcx>>>,
pub pred_rcache: Lock<FxHashMap<CReaderCacheKey, Predicate<'tcx>>>,
pub selection_cache: SelectionCache<'tcx>,
pub evaluation_cache: EvaluationCache<'tcx>,
pub new_solver_evaluation_cache: Lock<GlobalCache<TyCtxt<'tcx>>>,
pub canonical_param_env_cache: CanonicalParamEnvCache<'tcx>,
pub data_layout: TargetDataLayout,
pub(crate) alloc_map: Lock<AllocMap<'tcx>>,
current_gcx: CurrentGcx,
}
Expand description
See TyCtxt for details about this type.
Fields§
§arena: &'tcx WorkerLocal<Arena<'tcx>>
§hir_arena: &'tcx WorkerLocal<Arena<'tcx>>
§interners: CtxtInterners<'tcx>
§sess: &'tcx Session
§crate_types: Vec<CrateType>
§stable_crate_id: StableCrateId
The stable_crate_id
is constructed out of the crate name and all the
-C metadata
arguments passed to the compiler. Its value forms a unique
global identifier for the crate. It is used to allow multiple crates
with the same name to coexist. See the
rustc_symbol_mangling
crate for more information.
dep_graph: DepGraph
§prof: SelfProfilerRef
§types: CommonTypes<'tcx>
Common types, pre-interned for your convenience.
lifetimes: CommonLifetimes<'tcx>
Common lifetimes, pre-interned for your convenience.
consts: CommonConsts<'tcx>
Common consts, pre-interned for your convenience.
hooks: Providers
Hooks to be able to register functions in other crates that can then still be called from rustc_middle.
untracked: Untracked
§query_system: QuerySystem<'tcx>
§query_kinds: &'tcx [DepKindStruct<'tcx>]
§ty_rcache: Lock<FxHashMap<CReaderCacheKey, Ty<'tcx>>>
§pred_rcache: Lock<FxHashMap<CReaderCacheKey, Predicate<'tcx>>>
§selection_cache: SelectionCache<'tcx>
Caches the results of trait selection. This cache is used for things that do not have to do with the parameters in scope.
evaluation_cache: EvaluationCache<'tcx>
Caches the results of trait evaluation. This cache is used
for things that do not have to do with the parameters in scope.
Merge this with selection_cache
?
new_solver_evaluation_cache: Lock<GlobalCache<TyCtxt<'tcx>>>
Caches the results of goal evaluation in the new solver.
canonical_param_env_cache: CanonicalParamEnvCache<'tcx>
§data_layout: TargetDataLayout
Data layout specification for the current target.
alloc_map: Lock<AllocMap<'tcx>>
Stores memory for globals (statics/consts).
current_gcx: CurrentGcx
Implementations§
Source§impl<'tcx> GlobalCtxt<'tcx>
impl<'tcx> GlobalCtxt<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for GlobalCtxt<'tcx>
impl<'tcx> DynSync for GlobalCtxt<'tcx>
impl<'tcx> !Freeze for GlobalCtxt<'tcx>
impl<'tcx> !RefUnwindSafe for GlobalCtxt<'tcx>
impl<'tcx> !Send for GlobalCtxt<'tcx>
impl<'tcx> !Sync for GlobalCtxt<'tcx>
impl<'tcx> Unpin for GlobalCtxt<'tcx>
impl<'tcx> !UnwindSafe for GlobalCtxt<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
Source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
Source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 67144 bytes