Struct rustc_incremental::persist::dirty_clean::DirtyCleanVisitor
source · pub struct DirtyCleanVisitor<'tcx> {
tcx: TyCtxt<'tcx>,
checked_attrs: FxHashSet<AttrId>,
}
Fields§
§tcx: TyCtxt<'tcx>
§checked_attrs: FxHashSet<AttrId>
Implementations§
source§impl<'tcx> DirtyCleanVisitor<'tcx>
impl<'tcx> DirtyCleanVisitor<'tcx>
sourcefn assertion_maybe(
&mut self,
item_id: LocalDefId,
attr: &Attribute
) -> Option<Assertion>
fn assertion_maybe( &mut self, item_id: LocalDefId, attr: &Attribute ) -> Option<Assertion>
Possibly “deserialize” the attribute into a clean/dirty assertion
sourcefn assertion_auto(&mut self, item_id: LocalDefId, attr: &Attribute) -> Assertion
fn assertion_auto(&mut self, item_id: LocalDefId, attr: &Attribute) -> Assertion
Gets the “auto” assertion on pre-validated attr, along with the except
labels.
sourcefn loaded_from_disk(&self, attr: &Attribute) -> UnordSet<String>
fn loaded_from_disk(&self, attr: &Attribute) -> UnordSet<String>
loaded_from_disk=
attribute value
sourcefn auto_labels(
&mut self,
item_id: LocalDefId,
attr: &Attribute
) -> (&'static str, UnordSet<String>)
fn auto_labels( &mut self, item_id: LocalDefId, attr: &Attribute ) -> (&'static str, UnordSet<String>)
Return all DepNode labels that should be asserted for this item. index=0 is the “name” used for error messages
fn resolve_labels( &self, item: &NestedMetaItem, value: Symbol ) -> UnordSet<String>
fn dep_node_str(&self, dep_node: &DepNode) -> String
fn assert_dirty(&self, item_span: Span, dep_node: DepNode)
fn assert_clean(&self, item_span: Span, dep_node: DepNode)
fn assert_loaded_from_disk(&self, item_span: Span, dep_node: DepNode)
fn check_item(&mut self, item_id: LocalDefId)
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for DirtyCleanVisitor<'tcx>
impl<'tcx> !Send for DirtyCleanVisitor<'tcx>
impl<'tcx> !Sync for DirtyCleanVisitor<'tcx>
impl<'tcx> Unpin for DirtyCleanVisitor<'tcx>
impl<'tcx> !UnwindSafe for DirtyCleanVisitor<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 40 bytes