pub struct EliminateUnusedExpressions;Expand description
Eliminate non-output variables that are never read in the program.
Trait Implementations§
Source§impl Debug for EliminateUnusedExpressions
impl Debug for EliminateUnusedExpressions
Source§impl InstructionVisitor for EliminateUnusedExpressions
impl InstructionVisitor for EliminateUnusedExpressions
fn visit_instruction( &mut self, instruction: Instruction, _global_state: &GlobalState, analyses: &GlobalAnalyses, changes: &AtomicCounter, ) -> Vec<Instruction>
fn visit_scope( &mut self, scope: &Scope, analyses: &GlobalAnalyses, changes: &AtomicCounter, )
Auto Trait Implementations§
impl Freeze for EliminateUnusedExpressions
impl RefUnwindSafe for EliminateUnusedExpressions
impl Send for EliminateUnusedExpressions
impl Sync for EliminateUnusedExpressions
impl Unpin for EliminateUnusedExpressions
impl UnsafeUnpin for EliminateUnusedExpressions
impl UnwindSafe for EliminateUnusedExpressions
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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