pub struct DestructAdder<'a> { /* private fields */ }Expand description
Context for the destructor call addition phase,
Trait Implementations§
source§impl Analyzer<'_> for DestructAdder<'_>
impl Analyzer<'_> for DestructAdder<'_>
type Info = Demand<Id<Variable>, (), PanicState>
fn visit_stmt( &mut self, info: &mut Self::Info, (block_id, statement_index): 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_index): StatementLocation, match_info: &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>, PanicState> for DestructAdder<'_>
impl DemandReporter<Id<Variable>, PanicState> for DestructAdder<'_>
type IntroducePosition = (BlockId, usize)
type UsePosition = ()
fn drop_aux( &mut self, position: StatementLocation, var_id: VariableId, panic_state: PanicState, )
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<'a> Freeze for DestructAdder<'a>
impl<'a> !RefUnwindSafe for DestructAdder<'a>
impl<'a> !Send for DestructAdder<'a>
impl<'a> !Sync for DestructAdder<'a>
impl<'a> Unpin for DestructAdder<'a>
impl<'a> !UnwindSafe for DestructAdder<'a>
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