Enum rustc_middle::ty::instance::ReifyReason

pub enum ReifyReason {
    FnPtr,
    Vtable,
}

Describes why a ReifyShim was created. This is needed to distingish a ReifyShim created to adjust for things like #[track_caller] in a vtable from a ReifyShim created to produce a function pointer from a vtable entry. Currently, this is only used when KCFI is enabled, as only KCFI needs to treat those two ReifyShims differently.

Variants

FnPtr

The ReifyShim was created to produce a function pointer. This happens when:

• A vtable entry is directly converted to a function call (e.g. creating a fn ptr from a method on a dyn object).
• A function with #[track_caller] is converted to a function pointer
• If KCFI is enabled, creating a function pointer from a method on an object-safe trait. This includes the case of converting ::call-like methods on closure-likes to function pointers.

Vtable

This ReifyShim was created to populate a vtable. Currently, this happens when a #[track_caller] mismatch occurs between the implementation of a method and the method. This includes the case of ::call-like methods in closure-likes’ vtables.

Trait Implementations

impl Clone for ReifyReason

fn clone(&self) -> ReifyReason

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ReifyReason

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

Formats the value using the given formatter.

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

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

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

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

impl Hash for ReifyReason

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

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

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

impl<'tcx> Lift<'tcx> for ReifyReason

type Lifted = ReifyReason

fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>

impl PartialEq for ReifyReason

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

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

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

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

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

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

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

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl Copy for ReifyReason

impl Eq for ReifyReason

impl StructuralPartialEq for ReifyReason

Layout

Note: Most layout information is completely unstable and may even differ between compilations. 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: 1 byte

Size for each variant:

• FnPtr: 0 bytes
• Vtable: 0 bytes