Struct rustc_middle::ty::adjustment::CoerceUnsizedInfo

source ·

pub struct CoerceUnsizedInfo {
    pub custom_kind: Option<CustomCoerceUnsized>,
}

Expand description

Information for CoerceUnsized impls, storing information we have computed about the coercion.

This struct can be obtained via the coerce_impl_info query. Demanding this struct also has the side-effect of reporting errors for inappropriate impls.

Fields§

§custom_kind: Option<CustomCoerceUnsized>

If this is a “custom coerce” impl, then what kind of custom coercion is it? This applies to impls of CoerceUnsized for structs, primarily, where we store a bit of info about which fields need to be coerced.

Struct rustc_middle::ty::adjustment::CoerceUnsizedInfoCopy item path

Fields§

Trait Implementations§

impl Clone for CoerceUnsizedInfo

fn clone(&self) -> CoerceUnsizedInfo

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

impl Debug for CoerceUnsizedInfo

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

impl<__D: TyDecoder> Decodable<__D> for CoerceUnsizedInfo

fn decode(__decoder: &mut __D) -> Self

impl<__E: TyEncoder> Encodable<__E> for CoerceUnsizedInfo

fn encode(&self, __encoder: &mut __E)

impl EraseType for CoerceUnsizedInfo

type Result = [u8; 4]

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for CoerceUnsizedInfo

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl ParameterizedOverTcx for CoerceUnsizedInfo

type Value<'tcx> = CoerceUnsizedInfo

impl Copy for CoerceUnsizedInfo

Auto Trait Implementations§

impl DynSend for CoerceUnsizedInfo

impl DynSync for CoerceUnsizedInfo

impl Freeze for CoerceUnsizedInfo

impl RefUnwindSafe for CoerceUnsizedInfo

impl Send for CoerceUnsizedInfo

impl Sync for CoerceUnsizedInfo

impl Unpin for CoerceUnsizedInfo

impl UnwindSafe for CoerceUnsizedInfo

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

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> CloneToUninit for Twhere T: Clone,

default unsafe fn clone_to_uninit(&self, dst: *mut T)

impl<T> CloneToUninit for Twhere T: Copy,

unsafe fn clone_to_uninit(&self, dst: *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<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

default fn fingerprint_style() -> FingerprintStyle

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

default fn to_debug_str(&self, _: Tcx) -> String

default fn recover(_: Tcx, _: &DepNode) -> Option<T>

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<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

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)

Struct rustc_middle::ty::adjustment::CoerceUnsizedInfo

impl<D: TyDecoder> Decodable<D> for CoerceUnsizedInfo

fn decode(decoder: &mut D) -> Self

impl<E: TyEncoder> Encodable<E> for CoerceUnsizedInfo

fn encode(&self, encoder: &mut E)

impl<'ctx> HashStable<StableHashingContext<'ctx>> for CoerceUnsizedInfo

fn hash_stable( &self, hcx: &mut StableHashingContext<'ctx>, __hasher: &mut StableHasher, )

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

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,

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

impl<T> CloneToUninit for T
where T: Copy,

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

impl<Tcx, T> DepNodeParams<Tcx> for T
where Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, 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,