Enum rustc_infer::traits::WellFormedLoc

pub enum WellFormedLoc {
    Ty(LocalDefId),
    Param {
        function: LocalDefId,
        param_idx: u16,
    },
}

The ‘location’ at which we try to perform HIR-based wf checking. This information is used to obtain an hir::Ty, which we can walk in order to obtain precise spans for any ‘nested’ types (e.g. Foo in Option<Foo>).

Variants

Ty(LocalDefId)

Use the type of the provided definition.

Tuple Fields of Ty

0: LocalDefId

Param

Use the type of the parameter of the provided function. We cannot use hir::Param, since the function may not have a body (e.g. a trait method definition)

Fields of Param

function: LocalDefId

The function to lookup the parameter in

param_idx: u16

The index of the parameter to use. Parameters are indexed from 0, with the return type being the last ‘parameter’

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

Size for each variant:

• Ty: 6 bytes
• Param: 6 bytes