Enum rustc_middle::mir::visit::PlaceContext

NonMutatingUse(NonMutatingUseContext)

MutatingUse(MutatingUseContext)

Implementations§

impl PlaceContext

pub fn is_drop(&self) -> bool

Returns true if this place context represents a drop.

pub fn is_borrow(&self) -> bool

Returns true if this place context represents a borrow.

pub fn is_address_of(&self) -> bool

Returns true if this place context represents an address-of.

pub fn is_storage_marker(&self) -> bool

Returns true if this place context represents a storage live or storage dead marker.

pub fn is_mutating_use(&self) -> bool

Returns true if this place context represents a use that potentially changes the value.

pub fn is_use(&self) -> bool

Returns true if this place context represents a use.

pub fn is_place_assignment(&self) -> bool

Returns true if this place context represents an assignment statement.

Trait Implementations§

impl Clone for PlaceContext

fn clone(&self) -> PlaceContext

Returns a copy of the value. Read more

1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl Debug for PlaceContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl PartialEq<PlaceContext> for PlaceContext

fn eq(&self, other: &PlaceContext) -> bool

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralEq for PlaceContext

impl StructuralPartialEq for PlaceContext

Auto Trait Implementations§

impl RefUnwindSafe for PlaceContext

impl UnwindSafe for PlaceContext

Blanket Implementations§

impl<T> Aligned for T

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for Twhere U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom for Twhere U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for Twhere U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,