struct TypeVerifier<'a, 'b, 'tcx> {
    cx: &'a mut TypeChecker<'b, 'tcx>,
    promoted: &'b IndexVec<Promoted, Body<'tcx>>,
    last_span: Span,
    errors_reported: bool,
}
Expand description

Verifies that MIR types are sane to not crash further checks.

The sanitize_XYZ methods here take an MIR object and compute its type, calling span_mirbug and returning an error type if there is a problem.

Fields§

§cx: &'a mut TypeChecker<'b, 'tcx>§promoted: &'b IndexVec<Promoted, Body<'tcx>>§last_span: Span§errors_reported: bool

Implementations§

Checks that the types internal to the place match up with what would be expected.

Trait Implementations§

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

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

The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion 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: 32 bytes