Enum rustc_middle::traits::ObjectSafetyViolation

pub enum ObjectSafetyViolation {
    SizedSelf(SmallVec<[Span; 1]>),
    SupertraitSelf(SmallVec<[Span; 1]>),
    Method(Symbol, MethodViolationCode, Span),
    AssocConst(Symbol, Span),
    GAT(Symbol, Span),
}

Variants

SizedSelf(SmallVec<[Span; 1]>)

Self: Sized declared on the trait.

SupertraitSelf(SmallVec<[Span; 1]>)

Supertrait reference references Self an in illegal location (e.g., trait Foo : Bar<Self>).

Method(Symbol, MethodViolationCode, Span)

Method has something illegal.

AssocConst(Symbol, Span)

Associated const.

GAT(Symbol, Span)

GAT

Implementations

impl ObjectSafetyViolation

pub fn error_msg(&self) -> Cow<'static, str>

pub fn solution(&self, err: &mut DiagnosticBuilder<'_>)

pub fn spans(&self) -> SmallVec<[Span; 1]>

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx, ObjectSafetyViolation> for ObjectSafetyViolation

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl Clone for ObjectSafetyViolation

fn clone(&self) -> ObjectSafetyViolation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ObjectSafetyViolation

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

Formats the value using the given formatter.

impl Hash for ObjectSafetyViolation

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, 

Feeds a slice of this type into the given Hasher.

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

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

impl PartialEq<ObjectSafetyViolation> for ObjectSafetyViolation

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

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

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

This method tests for !=.

impl Eq for ObjectSafetyViolation

impl StructuralEq for ObjectSafetyViolation

impl StructuralPartialEq for ObjectSafetyViolation