Struct Trait 

pub struct Trait<'tcx> {
    def_id: DefId,
    args: Option<GenericArgsRef<'tcx>>,
    param_env: ParamEnv<'tcx>,
    implied_predicates: GenericPredicates<'tcx>,
    is_unsafe: bool,
    self_predicate: TraitPredicate<'tcx>,
    dyn_self: Option<Ty<'tcx>>,
    implied_trait_proofs: OnceCell<Vec<TraitProof<'tcx>>>,
    items: OnceCell<Vec<AssocItem<'tcx>>>,
}

Fields

def_id: DefId

args: Option<GenericArgsRef<'tcx>>

param_env: ParamEnv<'tcx>

implied_predicates: GenericPredicates<'tcx>

is_unsafe: bool

self_predicate: TraitPredicate<'tcx>

The special Self: Trait clause.

dyn_self: Option<Ty<'tcx>>

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

implied_trait_proofs: OnceCell<Vec<TraitProof<'tcx>>>

Computed on demand, see Trait::implied_trait_proofs.

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

Computed on demand, see Trait::items.

Implementations

impl<'tcx> Trait<'tcx>

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

pub fn implied_predicates(&self) -> &GenericPredicates<'tcx>

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

Proofs of the implied predicates. Most often uses the Self clause, except for builtin traits like Sized.

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

The special Self: Trait clause.

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

Associated items, in definition order.

pub fn dyn_self(&self) -> Option<&Ty<'tcx>>

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

pub fn is_unsafe(&self) -> bool

Whether this is an unsafe trait, i.e. implementing it requires unsafe impl.

Trait Implementations

impl<'tcx> Clone for Trait<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Trait<'tcx>

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

Formats the value using the given formatter.