Struct rustc_middle::ty::trait_def::TraitDef

pub struct TraitDef {
    pub def_id: DefId,
    pub unsafety: Unsafety,
    pub paren_sugar: bool,
    pub has_auto_impl: bool,
    pub is_marker: bool,
    pub skip_array_during_method_dispatch: bool,
    pub specialization_kind: TraitSpecializationKind,
    pub def_path_hash: DefPathHash,
}

A trait’s definition with type information.

Fields

def_id: DefId

unsafety: Unsafety

paren_sugar: bool

If true, then this trait had the #[rustc_paren_sugar] attribute, indicating that it should be used with Foo() sugar. This is a temporary thing – eventually any trait will be usable with the sugar (or without it).

has_auto_impl: bool

is_marker: bool

If true, then this trait has the #[marker] attribute, indicating that all its associated items have defaults that cannot be overridden, and thus impls of it are allowed to overlap.

skip_array_during_method_dispatch: bool

If true, then this trait has the #[rustc_skip_array_during_method_dispatch] attribute, indicating that editions before 2021 should not consider this trait during method dispatch if the receiver is an array.

specialization_kind: TraitSpecializationKind

Used to determine whether the standard library is allowed to specialize on this trait.

def_path_hash: DefPathHash

The ICH of this trait’s DefPath, cached here so it doesn’t have to be recomputed all the time.

Implementations

impl<'tcx> TraitDef

pub fn new(
    def_id: DefId,
    unsafety: Unsafety,
    paren_sugar: bool,
    has_auto_impl: bool,
    is_marker: bool,
    skip_array_during_method_dispatch: bool,
    specialization_kind: TraitSpecializationKind,
    def_path_hash: DefPathHash
) -> TraitDef

pub fn ancestors(
    &self,
    tcx: TyCtxt<'tcx>,
    of_impl: DefId
) -> Result<Ancestors<'tcx>, ErrorReported>

Trait Implementations

impl Debug for TraitDef

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

Formats the value using the given formatter.

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

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