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>

source

fn assertion_maybe( &mut self, item_id: LocalDefId, attr: &Attribute ) -> Option<Assertion>

Possibly “deserialize” the attribute into a clean/dirty assertion

source

fn assertion_auto(&mut self, item_id: LocalDefId, attr: &Attribute) -> Assertion

Gets the “auto” assertion on pre-validated attr, along with the except labels.

source

fn loaded_from_disk(&self, attr: &Attribute) -> UnordSet<String>

loaded_from_disk= attribute value

source

fn except(&self, attr: &Attribute) -> UnordSet<String>

except= attribute value

source

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

source

fn resolve_labels( &self, item: &NestedMetaItem, value: Symbol ) -> UnordSet<String>

source

fn dep_node_str(&self, dep_node: &DepNode) -> String

source

fn assert_dirty(&self, item_span: Span, dep_node: DepNode)

source

fn assert_clean(&self, item_span: Span, dep_node: DepNode)

source

fn assert_loaded_from_disk(&self, item_span: Span, dep_node: DepNode)

source

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> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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