Enum rustc_borrowck::consumers::ConsumerOptions
source · pub enum ConsumerOptions {
RegionInferenceContext,
PoloniusInputFacts,
PoloniusOutputFacts,
}
Expand description
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§
source§impl ConsumerOptions
impl ConsumerOptions
sourcepub(crate) fn polonius_input(&self) -> bool
pub(crate) fn polonius_input(&self) -> bool
Should the Polonius input facts be computed?
sourcepub(crate) fn polonius_output(&self) -> bool
pub(crate) fn polonius_output(&self) -> bool
Should we run Polonius and collect the output facts?
Trait Implementations§
source§impl Clone for ConsumerOptions
impl Clone for ConsumerOptions
source§fn clone(&self) -> ConsumerOptions
fn clone(&self) -> ConsumerOptions
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for ConsumerOptions
impl Debug for ConsumerOptions
impl Copy for ConsumerOptions
Auto Trait Implementations§
impl Freeze for ConsumerOptions
impl RefUnwindSafe for ConsumerOptions
impl Send for ConsumerOptions
impl Sync for ConsumerOptions
impl Unpin for ConsumerOptions
impl UnwindSafe for ConsumerOptions
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'a mut [T]
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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 bytesPoloniusInputFacts
: 0 bytesPoloniusOutputFacts
: 0 bytes