Enum rustc_middle::mir::CastKind

source ·

pub enum CastKind {
    PointerExposeAddress,
    PointerFromExposedAddress,
    PointerCoercion(PointerCoercion),
    DynStar,
    IntToInt,
    FloatToInt,
    FloatToFloat,
    IntToFloat,
    PtrToPtr,
    FnPtrToPtr,
    Transmute,
}

Variants§

§

PointerExposeAddress

An exposing pointer to address cast. A cast between a pointer and an integer type, or between a function pointer and an integer type. See the docs on expose_addr for more details.

§

PointerFromExposedAddress

An address-to-pointer cast that picks up an exposed provenance. See the docs on from_exposed_addr for more details.

§

PointerCoercion(PointerCoercion)

Pointer related casts that are done by coercions. Note that reference-to-raw-ptr casts are translated into &raw mut/const *r, i.e., they are not actually casts.

§

DynStar

Cast into a dyn* object.

§

Transmute

Reinterpret the bits of the input as a different type.

MIR is well-formed if the input and output types have different sizes, but running a transmute between differently-sized types is UB.

Allowed only in MirPhase::Runtime; Earlier it’s a TerminatorKind::Call.

Enum rustc_middle::mir::CastKind

Variants§

PointerExposeAddress

PointerFromExposedAddress

PointerCoercion(PointerCoercion)

DynStar

IntToInt

FloatToInt

FloatToFloat

IntToFloat

PtrToPtr

FnPtrToPtr

Transmute

Trait Implementations§

impl Clone for CastKind

fn clone(&self) -> CastKind

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

impl Debug for CastKind

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

impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for CastKind

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

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for CastKind

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

impl Hash for CastKind

fn hash<__H: Hasher>(&self, state: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

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

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

impl PartialEq<CastKind> for CastKind

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CastKind

fn try_fold_with<F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, _: &mut F ) -> Result<Self, F::Error>

fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, _: &mut F) -> Self

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CastKind

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>( &self, _: &mut F ) -> ControlFlow<F::BreakTy>

impl Copy for CastKind

impl Eq for CastKind

impl StructuralEq for CastKind

impl StructuralPartialEq for CastKind

Auto Trait Implementations§

impl RefUnwindSafe for CastKind

impl Send for CastKind

impl Sync for CastKind

impl Unpin for CastKind

impl UnwindSafe for CastKind

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<'tcx, T> IsSuggestable<'tcx> for Twhere T: TypeVisitable<TyCtxt<'tcx>> + TypeFoldable<TyCtxt<'tcx>>,

fn is_suggestable(self, tcx: TyCtxt<'tcx>, infer_suggestable: bool) -> bool

fn make_suggestable( self, tcx: TyCtxt<'tcx>, infer_suggestable: bool ) -> Option<T>

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,

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

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

impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<E> for CastKind

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

fn hash<H: Hasher>(&self, state: &mut H)

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

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