Struct TraitImpl 

pub struct TraitImpl<'tcx> {
    this: ItemRef<'tcx>,
    args: Option<GenericArgsRef<'tcx>>,
    trait_ref: TraitRef<'tcx>,
    param_env: ParamEnv<'tcx>,
    trait_pred: TraitPredicate<'tcx>,
    is_unsafe: bool,
    implied_trait_proofs: Vec<TraitProof<'tcx>>,
    items: OnceCell<Vec<ImplAssocItem<'tcx>>>,
}

Fields

this: ItemRef<'tcx>

args: Option<GenericArgsRef<'tcx>>

trait_ref: TraitRef<'tcx>

The implemented trait, instantiated with args if relevant.

param_env: ParamEnv<'tcx>

trait_pred: TraitPredicate<'tcx>

The trait that is implemented by this impl block.

is_unsafe: bool

implied_trait_proofs: Vec<TraitProof<'tcx>>

The trait proofs required to satisfy the predicates on the trait declaration. E.g.:

trait Foo: Bar {}
impl Foo for () {} // would supply a proof for `Self: Bar`.

items: OnceCell<Vec<ImplAssocItem<'tcx>>>

Computed on demand, see TraitImpl::items.

Implementations

impl<'tcx> TraitImpl<'tcx>

pub fn param_env(&self) -> &ParamEnv<'tcx>

pub fn trait_pred(&self) -> &TraitPredicate<'tcx>

The trait that is implemented by this impl block.

pub fn is_unsafe(&self) -> bool

Whether this is an unsafe impl.

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

dyn Trait<Args.., Ty = <Self as Trait>::Ty..> for the implemented trait. This is Some iff the trait is dyn-compatible.

pub fn implied_trait_proofs(&self) -> &[TraitProof<'tcx>]

The trait proofs required to satisfy the predicates on the trait declaration. E.g.:

trait Foo: Bar {}
impl Foo for () {} // would supply a proof for `Self: Bar`.

pub fn items(&self, s: &impl BaseState<'tcx>) -> &[ImplAssocItem<'tcx>]

Associated items, in the order of the trait declaration. Includes defaulted items.

fn compute_items(&self, s: &impl BaseState<'tcx>) -> Vec<ImplAssocItem<'tcx>>

Trait Implementations

impl<'tcx> Clone for TraitImpl<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TraitImpl<'tcx>

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

Formats the value using the given formatter.