pub struct DisaggregateVisitor { /* private fields */ }Expand description
Disaggregates compiler-internal aggregates like bounds checked pointers and slice pointers into individual variables.
Implementations§
Trait Implementations§
Source§impl Debug for DisaggregateVisitor
impl Debug for DisaggregateVisitor
Source§impl Default for DisaggregateVisitor
impl Default for DisaggregateVisitor
Source§fn default() -> DisaggregateVisitor
fn default() -> DisaggregateVisitor
Returns the “default value” for a type. Read more
Source§impl InstructionVisitor for DisaggregateVisitor
impl InstructionVisitor for DisaggregateVisitor
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 DisaggregateVisitor
impl RefUnwindSafe for DisaggregateVisitor
impl Send for DisaggregateVisitor
impl Sync for DisaggregateVisitor
impl Unpin for DisaggregateVisitor
impl UnsafeUnpin for DisaggregateVisitor
impl UnwindSafe for DisaggregateVisitor
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