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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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 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>

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>

Implementors

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

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