pub struct MatchOptimizerContext { /* private fields */ }
Trait Implementations§
Source§impl<'a> Analyzer<'a> for MatchOptimizerContext
impl<'a> Analyzer<'a> for MatchOptimizerContext
type Info = AnalysisInfo<'a>
fn visit_stmt( &mut self, info: &mut Self::Info, statement_location: StatementLocation, stmt: &Statement, )
fn visit_goto( &mut self, info: &mut Self::Info, _statement_location: StatementLocation, _target_block_id: BlockId, remapping: &VarRemapping, )
fn merge_match( &mut self, (block_id, _statement_idx): StatementLocation, match_info: &'a MatchInfo, infos: impl Iterator<Item = Self::Info>, ) -> Self::Info
fn info_from_return( &mut self, _statement_location: StatementLocation, vars: &[VarUsage], ) -> Self::Info
fn visit_block_start( &mut self, info: &mut Self::Info, block_id: BlockId, block: &FlatBlock, )
Source§fn info_from_panic(
&mut self,
statement_location: StatementLocation,
var: &VarUsage,
) -> Self::Info
fn info_from_panic( &mut self, statement_location: StatementLocation, var: &VarUsage, ) -> Self::Info
Default
info_from_panic
implementation for post ‘lower_panics’ phases.
Earlier phases need to override this implementation.Source§impl DemandReporter<Id<Variable>> for MatchOptimizerContext
impl DemandReporter<Id<Variable>> for MatchOptimizerContext
type IntroducePosition = ()
type UsePosition = ()
fn drop_aux(&mut self, position: Self::IntroducePosition, var: Var, _aux: Aux)
fn drop(&mut self, _position: Self::IntroducePosition, _var: Var)
fn dup( &mut self, _position: Self::UsePosition, _var: Var, _next_usage_position: Self::UsePosition, )
fn last_use(&mut self, _position: Self::UsePosition, _var: Var)
fn unused_mapped_var(&mut self, _var: Var)
Auto Trait Implementations§
impl Freeze for MatchOptimizerContext
impl RefUnwindSafe for MatchOptimizerContext
impl Send for MatchOptimizerContext
impl Sync for MatchOptimizerContext
impl Unpin for MatchOptimizerContext
impl UnwindSafe for MatchOptimizerContext
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
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>
Converts
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>
Converts
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 more