Enum rustc_trait_selection::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 suppressed(self) -> bool

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

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

fn clone(&self) -> RegionckMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for RegionckMode

impl Debug for RegionckMode

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

Formats the value using the given formatter.

impl Default for RegionckMode

fn default() -> RegionckMode

Returns the "default value" for a type.