Trait rustc_query_impl::keys::Key

pub trait Key {
    fn query_crate_is_local(&self) -> bool;
    fn default_span(&self, tcx: TyCtxt<'_>) -> Span;

    fn key_as_def_id(&self) -> Option<DefId> { ... }
}

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

Required Methods

fn query_crate_is_local(&self) -> bool

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

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?

Provided Methods

fn key_as_def_id(&self) -> Option<DefId>

If the key is a DefId or DefId–equivalent, return that DefId. Otherwise, return None.

Implementations on Foreign Types

impl Key for ()

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Ty<'tcx>, Option<PolyExistentialTraitRef<'tcx>>)

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl Key for CrateNum

fn query_crate_is_local(&self) -> bool

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

impl Key for LocalDefId

fn query_crate_is_local(&self) -> bool

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

fn key_as_def_id(&self) -> Option<DefId>

impl Key for DefId

fn query_crate_is_local(&self) -> bool

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

fn key_as_def_id(&self) -> Option<DefId>

impl Key for WithOptConstParam<LocalDefId>

fn query_crate_is_local(&self) -> bool

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

impl Key for SimplifiedType

fn query_crate_is_local(&self) -> bool

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

impl Key for (DefId, DefId)

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Instance<'tcx>, LocalDefId)

fn query_crate_is_local(&self) -> bool

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

impl Key for (DefId, LocalDefId)

fn query_crate_is_local(&self) -> bool

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

impl Key for (LocalDefId, DefId)

fn query_crate_is_local(&self) -> bool

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

impl Key for (LocalDefId, LocalDefId)

fn query_crate_is_local(&self) -> bool

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

impl Key for (DefId, Option<Ident>)

fn query_crate_is_local(&self) -> bool

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

fn key_as_def_id(&self) -> Option<DefId>

impl Key for (DefId, LocalDefId, Ident)

fn query_crate_is_local(&self) -> bool

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

impl Key for (CrateNum, DefId)

fn query_crate_is_local(&self) -> bool

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

impl Key for (CrateNum, SimplifiedType)

fn query_crate_is_local(&self) -> bool

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

impl Key for (DefId, SimplifiedType)

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Unevaluated<'tcx, ()>, Unevaluated<'tcx, ()>)

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for ConstAlloc<'tcx>

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for PolyExistentialTraitRef<'tcx>

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for ConstantKind<'tcx>

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for TyAndLayout<'tcx>

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Ty<'tcx>, Ty<'tcx>)

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl Key for Symbol

fn query_crate_is_local(&self) -> bool

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

impl Key for Option<Symbol>

fn query_crate_is_local(&self) -> bool

fn default_span(&self, _tcx: 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.

fn query_crate_is_local(&self) -> bool

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

impl Key for (Symbol, u32, u32)

fn query_crate_is_local(&self) -> bool

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

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

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Predicate<'tcx>, WellFormedLoc)

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (PolyFnSig<'tcx>, &'tcx List<Ty<'tcx>>)

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Instance<'tcx>, &'tcx List<Ty<'tcx>>)

fn query_crate_is_local(&self) -> bool

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

impl<'tcx> Key for (Ty<'tcx>, ValTree<'tcx>)

fn query_crate_is_local(&self) -> bool

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

impl Key for HirId

fn query_crate_is_local(&self) -> bool

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

fn key_as_def_id(&self) -> Option<DefId>

Implementors