Enum rustc_error_messages::DiagnosticMessage

pub enum DiagnosticMessage {
    Str(String),
    Eager(String),
    FluentIdentifier(Cow<'static, str>, Option<Cow<'static, str>>),
}

Abstraction over a message in a diagnostic to support both translatable and non-translatable diagnostic messages.

Intended to be removed once diagnostics are entirely translatable.

Variants

Str(String)

Non-translatable diagnostic message.

Eager(String)

Translatable message which has already been translated eagerly.

Some diagnostics have repeated subdiagnostics where the same interpolated variables would be instantiated multiple times with different values. As translation normally happens immediately prior to emission, after the diagnostic and subdiagnostic derive logic has run, the setting of diagnostic arguments in the derived code will overwrite previous variable values and only the final value will be set when translation occurs - resulting in incorrect diagnostics. Eager translation results in translation for a subdiagnostic happening immediately after the subdiagnostic derive’s logic has been run. This variant stores messages which have been translated eagerly.

FluentIdentifier(Cow<'static, str>, Option<Cow<'static, str>>)

Identifier for a Fluent message (with optional attribute) corresponding to the diagnostic message.

https://projectfluent.org/fluent/guide/hello.html https://projectfluent.org/fluent/guide/attributes.html

Implementations

impl DiagnosticMessage

pub fn with_subdiagnostic_message(&self, sub: SubdiagnosticMessage) -> Self

Given a SubdiagnosticMessage which may contain a Fluent attribute, create a new DiagnosticMessage that combines that attribute with the Fluent identifier of self.

• If the SubdiagnosticMessage is non-translatable then return the message as a DiagnosticMessage.
• If self is non-translatable then return self’s message.

Trait Implementations

impl Clone for DiagnosticMessage

fn clone(&self) -> DiagnosticMessage

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticMessage

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

Formats the value using the given formatter.

impl<__D: Decoder> Decodable<__D> for DiagnosticMessage

fn decode(__decoder: &mut __D) -> Self

impl<__E: Encoder> Encodable<__E> for DiagnosticMessage

fn encode(&self, __encoder: &mut __E)

impl<F: FnOnce() -> String> From<DelayDm<F>> for DiagnosticMessage

fn from(DelayDm: DelayDm<F>) -> Self

Converts to this type from the input type.

impl<S: Into<String>> From<S> for DiagnosticMessage

From impl that enables existing diagnostic calls to functions which now take impl Into<DiagnosticMessage> to continue to work as before.

fn from(s: S) -> Self

Converts to this type from the input type.

impl Hash for DiagnosticMessage

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Into<SubdiagnosticMessage> for DiagnosticMessage

Translating into a subdiagnostic message from a diagnostic message is a little strange - but the subdiagnostic functions (e.g. span_label) take a SubdiagnosticMessage and the subdiagnostic derive refers to typed identifiers that are DiagnosticMessages, so need to be able to convert between these, as much as they’ll be converted back into DiagnosticMessage using with_subdiagnostic_message eventually. Don’t use this other than for the derive.

fn into(self) -> SubdiagnosticMessage

Converts this type into the (usually inferred) input type.

impl PartialEq<DiagnosticMessage> for DiagnosticMessage

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for DiagnosticMessage

impl StructuralEq for DiagnosticMessage

impl StructuralPartialEq for DiagnosticMessage

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 64 bytes

Size for each variant:

• Str: 24 bytes
• Eager: 24 bytes
• FluentIdentifier: 64 bytes