Trait DepNodeParams

pub(crate) trait DepNodeParams<Tcx>: Sized + Debug
where
    Tcx: DepContext,
{
    // Required methods
    fn fingerprint_style() -> FingerprintStyle;
    fn recover(tcx: Tcx, dep_node: &DepNode) -> Option<Self>;

    // Provided methods
    fn to_fingerprint(&self, _: Tcx) -> Fingerprint { ... }
    fn to_debug_str(&self, _: Tcx) -> String { ... }
}

Required Methods

fn fingerprint_style() -> FingerprintStyle

fn recover(tcx: Tcx, dep_node: &DepNode) -> Option<Self>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes during red-green evaluation. The query system will only call this method if fingerprint_style() is not FingerprintStyle::Opaque. It is always valid to return None here, in which case incremental compilation will treat the query as having changed instead of forcing it.

Provided Methods

fn to_fingerprint(&self, _: Tcx) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous).

fn to_debug_str(&self, _: Tcx) -> String

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for (DefId, DefId)

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for ()

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, _: TyCtxt<'tcx>) -> Fingerprint

fn recover(_: TyCtxt<'tcx>, _: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for HirId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for OwnerId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for CrateNum

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for DefId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalDefId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for LocalModDefId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

impl<'tcx> DepNodeParams<TyCtxt<'tcx>> for ModDefId

fn fingerprint_style() -> FingerprintStyle

fn to_fingerprint(&self, tcx: TyCtxt<'tcx>) -> Fingerprint

fn to_debug_str(&self, tcx: TyCtxt<'tcx>) -> String

fn recover(tcx: TyCtxt<'tcx>, dep_node: &DepNode) -> Option<Self>

Implementors

impl<Tcx, T> DepNodeParams<Tcx> for T

where Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,