Module clean 

Debugging code to test fingerprints computed for query results. For each node marked with #[rustc_clean] we will compare the fingerprint from the current and from the previous compilation session as appropriate:

• #[rustc_clean(cfg="rev2", except="typeck")] if we are in #[cfg(rev2)], then the fingerprints associated with DepNode::typeck(X) must be DIFFERENT (X is the DefId of the current node).

• #[rustc_clean(cfg="rev2")] same as above, except that the fingerprints must be the SAME (along with all other fingerprints).

• #[rustc_clean(cfg="rev2", loaded_from_disk="typeck")] asserts that the query result for DepNode::typeck(X) was actually loaded from disk (not just marked green). This can be useful to ensure that a test is actually exercising the deserialization logic for a particular query result. This can be combined with except

Errors are reported if we are in the suitable configuration but the required condition is not met.

Re-exports

use rustc_attr_ir::Attribute; 🔒

use rustc_attr_ir::AttributeKind; 🔒

use rustc_attr_ir::RustcCleanAttribute; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::unord::UnordSet; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir::ImplItemKind; 🔒

use rustc_hir::ItemKind as HirItem; 🔒

use rustc_hir::Node as HirNode; 🔒

use rustc_hir::TraitItemKind; 🔒

use rustc_hir::intravisit; 🔒

use rustc_middle::dep_graph::DepKind; 🔒

use rustc_middle::dep_graph::DepNode; 🔒

use rustc_middle::dep_graph::dep_kind_from_label; 🔒

use rustc_middle::hir::nested_filter; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::Symbol; 🔒

use tracing::debug; 🔒

use crate::diagnostics; 🔒

Structs

Assertion 🔒

Represents the requested configuration by rustc_clean

CleanVisitor 🔒

FindAllAttrs 🔒

A visitor that collects all #[rustc_clean] attributes from the HIR. It is used to verify that we really ran checks for all annotated nodes.

Constants

BASE_CONST 🔒

For typedef, constants, and statics

BASE_FN 🔒

DepNodes for functions + methods

BASE_HIR 🔒

DepNodes for Hir, which is pretty much everything

BASE_IMPL 🔒

impl implementation of struct/trait

BASE_MIR 🔒

DepNodes for exported mir bodies, which is relevant in “executable” code, i.e., functions+methods

BASE_STRUCT 🔒

Struct, Enum and Union DepNodes

EXTRA_ASSOCIATED 🔒

Trait definition DepNodes. Extra DepNodes for functions and methods.

EXTRA_TRAIT 🔒

LABELS_ADT 🔒

Abstract data type (struct, enum, union) DepNodes.

LABELS_CONST 🔒

LABELS_CONST_IN_IMPL 🔒

Constant/Typedef in an impl

LABELS_CONST_IN_TRAIT 🔒

Trait-Const/Typedef DepNodes

LABELS_FN 🔒

Function DepNodes.

LABELS_FN_IN_IMPL 🔒

Method DepNodes.

LABELS_FN_IN_TRAIT 🔒

Trait method DepNodes.

LABELS_HIR_ONLY 🔒

For generic cases like inline-assembly, modules, etc.

LABELS_IMPL 🔒

Impl DepNodes.

LABELS_TRAIT 🔒

Impl DepNodes.

Functions

check_clean_annotations 🔒

Type Aliases

Labels 🔒