Enum rustc_infer::infer::RegionckMode

pub enum RegionckMode {
    Solve,
    Erase {
        suppress_errors: bool,
    },
}

How we should handle region solving.

This is used so that the region values inferred by HIR region solving are not exposed, and so that we can avoid doing work in HIR typeck that MIR typeck will also do.

Variants

Solve

The default mode: report region errors, don't erase regions.

Erase

Erase the results of region after solving.

Fields of Erase

suppress_errors: bool

A flag that is used to suppress region errors, when we are doing region checks that the NLL borrow checker will also do -- it might be set to true.

Implementations

impl RegionckMode

pub fn for_item_body(tcx: TyCtxt<'_>) -> Self

Indicates that the MIR borrowck will repeat these region checks, so we should ignore errors if NLL is (unconditionally) enabled.

Trait Implementations

impl Clone for RegionckMode

pub fn clone(&self) -> RegionckMode

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for RegionckMode

impl Debug for RegionckMode

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for RegionckMode

pub fn default() -> Self

Returns the "default value" for a type.