Enum rustc_typeck::check::method::probe::AutorefOrPtrAdjustment

pub enum AutorefOrPtrAdjustment<'tcx> {
    Autoref {
        mutbl: Mutability,
        unsize: Option<Ty<'tcx>>,
    },
    ToConstPtr,
}

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 of Autoref

mutbl: Mutabilityunsize: Option<Ty<'tcx>>

Indicates that the source expression should be “unsized” to a target type. This should probably eventually go away in favor of just coercing method receivers.

ToConstPtr

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

Implementations

impl<'tcx> AutorefOrPtrAdjustment<'tcx>

fn get_unsize(&self) -> Option<Ty<'tcx>>

Trait Implementations

impl<'tcx> Clone for AutorefOrPtrAdjustment<'tcx>

fn clone(&self) -> AutorefOrPtrAdjustment<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AutorefOrPtrAdjustment<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq<AutorefOrPtrAdjustment<'tcx>> for AutorefOrPtrAdjustment<'tcx>

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

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

fn ne(&self, other: &AutorefOrPtrAdjustment<'tcx>) -> bool

This method tests for !=.

impl<'tcx> StructuralPartialEq for AutorefOrPtrAdjustment<'tcx>