Struct rustc_middle::ty::tls::ImplicitCtxt

pub struct ImplicitCtxt<'a, 'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub query: Option<QueryJobId<DepKind>>,
    pub diagnostics: Option<&'a Lock<ThinVec<Diagnostic>>>,
    pub layout_depth: usize,
    pub task_deps: Option<&'a Lock<TaskDeps>>,
}

This is the implicit state of rustc. It contains the current TyCtxt and query. It is updated when creating a local interner or executing a new query. Whenever there’s a TyCtxt value available you should also have access to an ImplicitCtxt through the functions in this module.

Fields

tcx: TyCtxt<'tcx>

The current TyCtxt.

query: Option<QueryJobId<DepKind>>

The current query job, if any. This is updated by JobOwner::start in ty::query::plumbing when executing a query.

diagnostics: Option<&'a Lock<ThinVec<Diagnostic>>>

Where to store diagnostics for the current query job, if any. This is updated by JobOwner::start in ty::query::plumbing when executing a query.

layout_depth: usize

Used to prevent layout from recursing too deeply.

task_deps: Option<&'a Lock<TaskDeps>>

The current dep graph task. This is used to add dependencies to queries when executing them.

Implementations

impl<'a, 'tcx> ImplicitCtxt<'a, 'tcx>

pub fn new(gcx: &'tcx GlobalCtxt<'tcx>) -> Self

Trait Implementations

impl<'a, 'tcx> Clone for ImplicitCtxt<'a, 'tcx>

fn clone(&self) -> ImplicitCtxt<'a, 'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.