Struct VirtualTraitImpl 

pub struct VirtualTraitImpl<'tcx> {
    pub trait_pred: TraitPredicate<'tcx>,
    pub implied_trait_proofs: Vec<TraitProof<'tcx>>,
    pub types: Vec<(Ty<'tcx>, Vec<TraitProof<'tcx>>)>,
    pub methods: Vec<VirtualTraitMethod<'tcx>>,
    owner: DefId,
    trait_ref: TraitRef<'tcx>,
    dyn_data: OnceCell<Option<(Ty<'tcx>, Vec<PolyFnSig<'tcx>>)>>,
}

Partial data for a trait impl, used for fake trait impls that we generate ourselves such as FnOnce and Drop impls.

Fields

trait_pred: TraitPredicate<'tcx>

The trait that is implemented by this impl block.

implied_trait_proofs: Vec<TraitProof<'tcx>>

The trait proofs required to satisfy the predicates on the trait declaration.

types: Vec<(Ty<'tcx>, Vec<TraitProof<'tcx>>)>

The associated types and their predicates, in definition order.

methods: Vec<VirtualTraitMethod<'tcx>>

The methods, in definition order.

owner: DefId

The item under which this impl was built.

trait_ref: TraitRef<'tcx>

The trait ref of the implemented trait, for dyn_data.

dyn_data: OnceCell<Option<(Ty<'tcx>, Vec<PolyFnSig<'tcx>>)>>

Computed on demand, see VirtualTraitImpl::dyn_self.

Implementations

impl<'tcx> VirtualTraitImpl<'tcx>

fn dyn_data( &self, s: &impl BaseState<'tcx>, ) -> Option<&(Ty<'tcx>, Vec<PolyFnSig<'tcx>>)>

The dyn Trait<..> type for the implemented trait ref and the vtable signatures of the methods (in definition order), if the trait is dyn-compatible. This is only needed for vtables so we compute it on demand.

pub fn dyn_self(&self, s: &impl BaseState<'tcx>) -> Option<Ty<'tcx>>

The dyn Trait<..> type for the implemented trait ref, if dyn-compatible.

pub fn vtable_sig( &self, s: &impl BaseState<'tcx>, i: usize, ) -> Option<&PolyFnSig<'tcx>>

The vtable signature of the ith method, if the trait is dyn-compatible.

Trait Implementations

impl<'tcx> Clone for VirtualTraitImpl<'tcx>

fn clone(&self) -> VirtualTraitImpl<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for VirtualTraitImpl<'tcx>

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

Formats the value using the given formatter.