Struct rustc_hir_analysis::variance::constraints::CurrentItem

pub struct CurrentItem {
    inferred_start: InferredIndex,
}

To build constraints, we visit one item (type, trait) at a time and look at its contents. So e.g., if we have

struct Foo<T> {
    b: Bar<T>
}

then while we are visiting Bar<T>, the CurrentItem would have the DefId and the start of Foo’s inferreds.

Fields

inferred_start: InferredIndex

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: 8 bytes