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::CoerceUnsizedInfo

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<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for CoerceUnsizedInfo

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

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> 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 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<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<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> From<T> for T

fn from(t: T) -> T

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

type Error = Infallible

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

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

type Error = <U as TryFrom<T>>::Error

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

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

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§

impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for CoerceUnsizedInfo

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

impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> 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 )