# Struct rustc_incremental::assert_dep_graph::IfThisChanged

source ·

    struct IfThisChanged<'tcx> {
        tcx: TyCtxt<'tcx>,
        if_this_changed: Vec<(Span, DefId, DepNode)>,
        then_this_would_need: Vec<(Span, Symbol, HirId, DepNode)>,
    }

## Fields§

§`tcx: TyCtxt<'tcx>`§`if_this_changed: Vec<(Span, DefId, DepNode)>`§`then_this_would_need: Vec<(Span, Symbol, HirId, DepNode)>`

## Implementations§

source§

### impl<'tcx> IfThisChanged<'tcx>

source

#### fn argument(&self, attr: &Attribute) -> Option<Symbol>

source

#### fn process_attrs(&mut self, def_id: LocalDefId)

## Trait Implementations§

source§

### impl<'tcx> Visitor<'tcx> for IfThisChanged<'tcx>

§

#### type NestedFilter = OnlyBodies

Override this type to control which nested HIR are visited; see `NestedFilter` for details. If you override this type, you must also override `nested_visit_map`. Read more
source§

#### fn nested_visit_map(&mut self) -> Self::Map

If `type NestedFilter` is set to visit nested items, this method must also be overridden to provide a map to retrieve nested items.
source§

#### fn visit_item(&mut self, item: &'tcx Item<'tcx>)

Visits the top-level item and (optionally) nested items / impl items. See `visit_nested_item` for details.
source§

#### fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)

source§

#### fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)

source§

#### fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)

§

#### type Map = <Self::NestedFilter as NestedFilter<'v>>::Map

§

#### type Result = ()

The result type of the `visit_*` methods. Can be either `()`, or `ControlFlow<T>`.
source§

#### fn visit_nested_item(&mut self, id: ItemId) -> Self::Result

Invoked when a nested item is encountered. By default, when `Self::NestedFilter` is `nested_filter::None`, this method does nothing. You probably don’t want to override this method – instead, override `Self::NestedFilter` or use the “shallow” or “deep” visit patterns described at `rustc_hir::intravisit`. The only reason to override this method is if you want a nested pattern but cannot supply a `Map`; see `nested_visit_map` for advice.
source§

#### fn visit_nested_trait_item(&mut self, id: TraitItemId) -> Self::Result

Like `visit_nested_item()`, but for trait items. See `visit_nested_item()` for advice on when to override this method.
source§

#### fn visit_nested_impl_item(&mut self, id: ImplItemId) -> Self::Result

Like `visit_nested_item()`, but for impl items. See `visit_nested_item()` for advice on when to override this method.
source§

#### fn visit_nested_foreign_item(&mut self, id: ForeignItemId) -> Self::Result

Like `visit_nested_item()`, but for foreign items. See `visit_nested_item()` for advice on when to override this method.
source§

#### fn visit_nested_body(&mut self, id: BodyId) -> Self::Result

Invoked to visit the body of a function, method or closure. Like `visit_nested_item`, does nothing by default unless you override `Self::NestedFilter`.
source§

#### fn visit_param(&mut self, param: &'v Param<'v>) -> Self::Result

source§

#### fn visit_body(&mut self, b: &'v Body<'v>) -> Self::Result

source§

#### fn visit_id(&mut self, _hir_id: HirId) -> Self::Result

source§

#### fn visit_name(&mut self, _name: Symbol) -> Self::Result

source§

#### fn visit_ident(&mut self, ident: Ident) -> Self::Result

source§

#### fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId) -> Self::Result

source§

#### fn visit_foreign_item(&mut self, i: &'v ForeignItem<'v>) -> Self::Result

source§

#### fn visit_local(&mut self, l: &'v LetStmt<'v>) -> Self::Result

source§

#### fn visit_block(&mut self, b: &'v Block<'v>) -> Self::Result

source§

#### fn visit_stmt(&mut self, s: &'v Stmt<'v>) -> Self::Result

source§

#### fn visit_arm(&mut self, a: &'v Arm<'v>) -> Self::Result

source§

#### fn visit_pat(&mut self, p: &'v Pat<'v>) -> Self::Result

source§

#### fn visit_pat_field(&mut self, f: &'v PatField<'v>) -> Self::Result

source§

#### fn visit_array_length(&mut self, len: &'v ArrayLen<'v>) -> Self::Result

source§

#### fn visit_anon_const(&mut self, c: &'v AnonConst) -> Self::Result

source§

#### fn visit_inline_const(&mut self, c: &'v ConstBlock) -> Self::Result

source§

#### fn visit_expr(&mut self, ex: &'v Expr<'v>) -> Self::Result

source§

#### fn visit_expr_field(&mut self, field: &'v ExprField<'v>) -> Self::Result

source§

#### fn visit_ty(&mut self, t: &'v Ty<'v>) -> Self::Result

source§

#### fn visit_pattern_type_pattern(&mut self, _p: &'v Pat<'v>)

source§

#### fn visit_generic_param(&mut self, p: &'v GenericParam<'v>) -> Self::Result

source§

#### fn visit_const_param_default( &mut self, _param: HirId, ct: &'v AnonConst ) -> Self::Result

source§

#### fn visit_generics(&mut self, g: &'v Generics<'v>) -> Self::Result

source§

#### fn visit_where_predicate( &mut self, predicate: &'v WherePredicate<'v> ) -> Self::Result

source§

#### fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>) -> Self::Result

source§

#### fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>) -> Self::Result

source§

#### fn visit_fn( &mut self, fk: FnKind<'v>, fd: &'v FnDecl<'v>, b: BodyId, _: Span, id: LocalDefId ) -> Self::Result

source§

#### fn visit_use( &mut self, path: &'v Path<'v, SmallVec<[Res; 3]>>, hir_id: HirId ) -> Self::Result

source§

#### fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef) -> Self::Result

source§

#### fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef) -> Self::Result

source§

#### fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef) -> Self::Result

source§

#### fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>) -> Self::Result

source§

#### fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>) -> Self::Result

source§

#### fn visit_precise_capturing_arg( &mut self, arg: &'v PreciseCapturingArg<'v> ) -> Self::Result

source§

#### fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>) -> Self::Result

source§

#### fn visit_variant_data(&mut self, s: &'v VariantData<'v>) -> Self::Result

source§

#### fn visit_enum_def( &mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId ) -> Self::Result

source§

#### fn visit_variant(&mut self, v: &'v Variant<'v>) -> Self::Result

source§

#### fn visit_label(&mut self, label: &'v Label) -> Self::Result

source§

#### fn visit_infer(&mut self, inf: &'v InferArg) -> Self::Result

source§

#### fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>) -> Self::Result

source§

#### fn visit_lifetime(&mut self, lifetime: &'v Lifetime) -> Self::Result

source§

#### fn visit_qpath( &mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span ) -> Self::Result

source§

#### fn visit_path(&mut self, path: &Path<'v>, _id: HirId) -> Self::Result

source§

#### fn visit_path_segment( &mut self, path_segment: &'v PathSegment<'v> ) -> Self::Result

source§

#### fn visit_generic_args( &mut self, generic_args: &'v GenericArgs<'v> ) -> Self::Result

source§

#### fn visit_assoc_type_binding( &mut self, type_binding: &'v TypeBinding<'v> ) -> Self::Result

source§

#### fn visit_attribute(&mut self, _attr: &'v Attribute) -> Self::Result

source§

#### fn visit_associated_item_kind( &mut self, kind: &'v AssocItemKind ) -> Self::Result

source§

#### fn visit_defaultness(&mut self, defaultness: &'v Defaultness) -> Self::Result

source§

#### fn visit_inline_asm( &mut self, asm: &'v InlineAsm<'v>, id: HirId ) -> Self::Result

## Auto Trait Implementations§

§

### impl<'tcx> DynSend for IfThisChanged<'tcx>

§

### impl<'tcx> DynSync for IfThisChanged<'tcx>

§

### impl<'tcx> Freeze for IfThisChanged<'tcx>

§

### impl<'tcx> !RefUnwindSafe for IfThisChanged<'tcx>

§

### impl<'tcx> !Send for IfThisChanged<'tcx>

§

### impl<'tcx> !Sync for IfThisChanged<'tcx>

§

### impl<'tcx> Unpin for IfThisChanged<'tcx>

§

### impl<'tcx> !UnwindSafe for IfThisChanged<'tcx>

## Blanket Implementations§

source§

### impl<T> Aligned for T

source§

#### const ALIGN: Alignment = _

Alignment of `Self`.
source§

### impl<T> Any for T
where T: 'static + ?Sized,

source§

#### fn type_id(&self) -> TypeId

Gets the `TypeId` of `self`. Read more
source§

### impl<T> Borrow<T> for T
where T: ?Sized,

source§

#### fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

### impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

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

Mutably borrows from an owned value. Read more
source§

### impl<T, R> CollectAndApply<T, R> for T

source§

#### fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to `f(&iter.collect::<Vec<_>>())`.

§

#### type Output = R

source§

### impl<T> Filterable for T

source§

#### fn filterable( self, filter_name: &'static str ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

### impl<T> From<T> for T

source§

#### fn from(t: T) -> T

Returns the argument unchanged.

source§

### impl<T> Instrument for T

source§

#### fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided `Span`, returning an `Instrumented` wrapper. Read more
source§

#### fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current `Span`, returning an `Instrumented` wrapper. Read more
source§

### impl<T, U> Into<U> for T
where 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<P> IntoQueryParam<P> for P

source§

#### fn into_query_param(self) -> P

source§

### impl<T> MaybeResult<T> for T

§

#### type Error = !

source§

#### fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

#### fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

### impl<T> Pointable for T

source§

#### const ALIGN: usize = _

The alignment of pointer.
§

#### type Init = T

The type for initializers.
source§

#### unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
source§

#### unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
source§

#### unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
source§

#### unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

### impl<T> Same for T

§

#### type Output = T

Should always be `Self`
source§

### impl<'tcx, T> ToPredicate<'tcx, T> for T

source§

#### fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

source§

### impl<T, U> TryFrom<U> for T
where 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 T
where 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.
source§

### impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

#### fn vzip(self) -> V

source§

### impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

#### default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T

source§

### impl<T> WithSubscriber for T

source§

#### fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided `Subscriber` to this type, returning a `WithDispatch` wrapper. Read more
source§

#### fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default `Subscriber` to this type, returning a `WithDispatch` wrapper. Read more
source§

### impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

### impl<T> ErasedDestructor for T
where T: 'static,

## 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: 56 bytes