Enum rustc_borrowck::consumers::ConsumerOptions

pub enum ConsumerOptions {
    RegionInferenceContext,
    PoloniusInputFacts,
    PoloniusOutputFacts,
}

Options determining the output behavior of get_body_with_borrowck_facts.

If executing under -Z polonius the choice here has no effect, and everything as if PoloniusOutputFacts had been selected will be retrieved.

Variants

RegionInferenceContext

Retrieve the Body along with the BorrowSet and RegionInferenceContext. If you would like the body only, use TyCtxt::mir_promoted.

These can be used in conjunction with calculate_borrows_out_of_scope_at_location.

PoloniusInputFacts

The recommended option. Retrieves the maximal amount of information without significant slowdowns.

Implies RegionInferenceContext, and additionally retrieve the LocationTable and PoloniusInput that would be given to Polonius. Critically, this does not run Polonius, which one may want to avoid due to performance issues on large bodies.

PoloniusOutputFacts

Implies PoloniusInputFacts, and additionally runs Polonius to calculate the PoloniusOutput.

Implementations

impl ConsumerOptions

pub(crate) fn polonius_input(&self) -> bool

Should the Polonius input facts be computed?

pub(crate) fn polonius_output(&self) -> bool

Should we run Polonius and collect the output facts?

Trait Implementations

impl Clone for ConsumerOptions

fn clone(&self) -> ConsumerOptions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConsumerOptions

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

Formats the value using the given formatter.

impl Copy for ConsumerOptions

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: 1 byte

Size for each variant:

• RegionInferenceContext: 0 bytes
• PoloniusInputFacts: 0 bytes
• PoloniusOutputFacts: 0 bytes