Struct rustc_typeck::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 be different between compiler versions and platforms. 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