Enum rustc_hir_typeck::method::probe::AutorefOrPtrAdjustment

source ·

pub enum AutorefOrPtrAdjustment {
    Autoref {
        mutbl: Mutability,
        unsize: bool,
    },
    ToConstPtr,
}

Expand description

When adjusting a receiver we often want to do one of

Add a & (or &mut), converting the receiver from T to &T (or &mut T)
If the receiver has type *mut T, convert it to *const T

This type tells us which one to do.

Note that in principle we could do both at the same time. For example, when the receiver has type T, we could autoref it to &T, then convert to *const T. Or, when it has type *mut T, we could convert it to *const T, then autoref to &*const T. However, currently we do (at most) one of these. Either the receiver has type T and we convert it to &T (or with mut), or it has type *mut T and we convert it to *const T.

Variants§

§

Autoref

Receiver has type T, add & or &mut (it T is mut), and maybe also “unsize” it. Unsizing is used to convert a [T; N] to [T], which only makes sense when autorefing.

Fields

§mutbl: Mutability

§unsize: bool

Indicates that the source expression should be “unsized” to a target type. This is special-cased for just arrays unsizing to slices.

§

ToConstPtr

Receiver has type *mut T, convert to *const T

Enum rustc_hir_typeck::method::probe::AutorefOrPtrAdjustmentCopy item path

Variants§

Autoref

Fields

ToConstPtr

Implementations§

impl AutorefOrPtrAdjustment

fn get_unsize(&self) -> bool

Trait Implementations§

impl Clone for AutorefOrPtrAdjustment

fn clone(&self) -> AutorefOrPtrAdjustment

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

impl Debug for AutorefOrPtrAdjustment

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

impl PartialEq for AutorefOrPtrAdjustment

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

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

impl Copy for AutorefOrPtrAdjustment

impl StructuralPartialEq for AutorefOrPtrAdjustment

Auto Trait Implementations§

impl DynSend for AutorefOrPtrAdjustment

impl DynSync for AutorefOrPtrAdjustment

impl Freeze for AutorefOrPtrAdjustment

impl RefUnwindSafe for AutorefOrPtrAdjustment

impl Send for AutorefOrPtrAdjustment

impl Sync for AutorefOrPtrAdjustment

impl Unpin for AutorefOrPtrAdjustment

impl UnwindSafe for AutorefOrPtrAdjustment

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

impl<T> AnyEq for Twhere T: Any + PartialEq,

fn equals(&self, other: &(dyn Any + 'static)) -> bool

fn as_any(&self) -> &(dyn Any + 'static)

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<'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

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

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

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,

type Output = R

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

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

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

Enum rustc_hir_typeck::method::probe::AutorefOrPtrAdjustment

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

impl<T> AnyEq for T
where T: Any + PartialEq,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

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

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

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

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

impl<T> ToOwned for T
where T: Clone,

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

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,