Struct NonCovariantInterfaceField 

pub struct NonCovariantInterfaceField<S>
where
    S: Copy,
{
    pub name: String,
    pub interface: String,
    pub field: String,
    pub expected: String,
    pub ty: String,
    pub span: S,
}

(E0116) Implemented type and type from interface must be covariant.

Fields

name: String

Value of {name} that is referenced in the message and/or one of the labels.

interface: String

Value of {interface} that is referenced in the message and/or one of the labels.

field: String

Value of {field} that is referenced in the message and/or one of the labels.

expected: String

Value of {expected} that is referenced in the message and/or one of the labels.

ty: String

Value of {ty} that is referenced in the message and/or one of the labels.

span: S

Type {name} implements interface {interface} that defines a field {field} of type {expected}, but {field} is {ty} here, which is incompatible.

Trait Implementations

impl<S> Clone for NonCovariantInterfaceField<S>

where S: Copy + Clone,

fn clone(&self) -> NonCovariantInterfaceField<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S> Debug for NonCovariantInterfaceField<S>

where S: Copy + Debug,

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

Formats the value using the given formatter.

impl<S> DiagnosticInfo<S> for NonCovariantInterfaceField<S>

where S: Copy,

fn code(&self) -> &'static str

Returns the code of this diagnostic. This is usually a letter (e.g. E) followed by 4 digits that represent the error number.

fn message(&self) -> &'static str

Returns the message of this diagnostic.

fn span(&self) -> S

Returns the primary span that triggered this diagnostic.

fn labels(&self) -> Vec<(S, String)>

Returns additional labels for this diagnostic: pairs of spans and explanations.

fn is_deprecated(&self) -> bool

Returns a boolean that indicates if this diagnostic is deprecated. Deprecated diagnostics are no longer returned but still part of the docs for historic purposes.