Trait rustc_middle::ty::query::keys::Key

pub trait Key {
    type CacheSelector;
    pub fn query_crate(&self) -> CrateNum;
    pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span;
}

The Key trait controls what types can legally be used as the key for a query.

Associated Types

type CacheSelector

Loading content...

Required methods

pub fn query_crate(&self) -> CrateNum

Given an instance of this key, what crate is it referring to? This is used to find the provider.

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

In the event that a cycle occurs, if no explicit span has been given for a query with key self, what span should we use?

Loading content...

Implementations on Foreign Types

impl Key for CrateNum

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl Key for LocalDefId

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for DefId

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for (DefId, DefId)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for (DefId, LocalDefId)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for (LocalDefId, DefId)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for (CrateNum, DefId)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl Key for (DefId, SimplifiedType)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for (DefId, SubstsRef<'tcx>)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for ((WithOptConstParam<DefId>, SubstsRef<'tcx>), (WithOptConstParam<DefId>, SubstsRef<'tcx>))

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for (LocalDefId, DefId, SubstsRef<'tcx>)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for (ParamEnv<'tcx>, PolyTraitRef<'tcx>)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for (&'tcx Const<'tcx>, Field)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl Key for Symbol

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

impl Key for (Symbol, u32, u32)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for (DefId, Ty<'tcx>, SubstsRef<'tcx>, ParamEnv<'tcx>)

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

Loading content...

Implementors

impl Key for WithOptConstParam<LocalDefId>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for &'tcx Const<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx> Key for &'tcx List<Predicate<'tcx>>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx> Key for InstanceDef<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for GlobalId<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for LitToConstInput<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for Instance<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for ParamEnv<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx> Key for GenericArg<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx> Key for PolyTraitRef<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

impl<'tcx> Key for SubstsRef<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx> Key for Ty<'tcx>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _: TyCtxt<'_>) -> Span

impl<'tcx, T> Key for Canonical<'tcx, T>

Canonical query goals correspond to abstract trait operations that are not tied to any crate in particular.

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, _tcx: TyCtxt<'_>) -> Span

impl<'tcx, T: Key> Key for ParamEnvAnd<'tcx, T>

type CacheSelector = DefaultCacheSelector

pub fn query_crate(&self) -> CrateNum

pub fn default_span(&self, tcx: TyCtxt<'_>) -> Span

Loading content...