Enum rustc_typeck::check::method::probe::AutorefOrPtrAdjustment [−][src]
pub enum AutorefOrPtrAdjustment<'tcx> {
Autoref {
mutbl: Mutability,
unsize: Option<Ty<'tcx>>,
},
ToConstPtr,
}Expand description
When adjusting a receiver we often want to do one of
- Add a
&(or&mut), converting the receiver fromTto&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
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.
Show fields
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.
Receiver has type *mut T, convert to *const T
Implementations
Trait Implementations
This method tests for self and other values to be equal, and is used
by ==. Read more
This method tests for !=.
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for AutorefOrPtrAdjustment<'tcx>impl<'tcx> !Send for AutorefOrPtrAdjustment<'tcx>impl<'tcx> !Sync for AutorefOrPtrAdjustment<'tcx>impl<'tcx> Unpin for AutorefOrPtrAdjustment<'tcx>impl<'tcx> !UnwindSafe for AutorefOrPtrAdjustment<'tcx>Blanket Implementations
Mutably borrows from an owned value. Read more
Layout
Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 16 bytes