Enum rustc_infer::traits::MethodViolationCode

pub enum MethodViolationCode {
    StaticMethod(Option<(&'static str, Span)>, Span, bool),
    ReferencesSelfInput(usize),
    ReferencesSelfOutput,
    WhereClauseReferencesSelf,
    Generic,
    UndispatchableReceiver,
}

Reasons a method might not be object-safe.

Variants

StaticMethod(Option<(&'static str, Span)>, Span, bool)

e.g., fn foo()

ReferencesSelfInput(usize)

e.g., fn foo(&self, x: Self)

ReferencesSelfOutput

e.g., fn foo(&self) -> Self

WhereClauseReferencesSelf

e.g., fn foo(&self) where Self: Clone

Generic

e.g., fn foo<A>()

UndispatchableReceiver

the method's receiver (self argument) can't be dispatched on