Struct ImplicitCtxt

pub struct ImplicitCtxt<'a, 'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub query: Option<QueryJobId>,
    pub diagnostics: Option<&'a Lock<ThinVec<DiagInner>>>,
    pub query_depth: usize,
    pub task_deps: TaskDepsRef<'a>,
}

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>

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<DiagInner>>>

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.

query_depth: usize

Used to prevent queries from calling too deeply.

task_deps: TaskDepsRef<'a>

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.

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: 48 bytes