Enum rustc_borrowck::session_diagnostics::HigherRankedErrorCause

pub(crate) enum HigherRankedErrorCause {
    CouldNotProve {
        predicate: String,
    },
    CouldNotNormalize {
        value: String,
    },
}

Variants

CouldNotProve

Fields

predicate: String

CouldNotNormalize

Fields

value: String

Trait Implementations

impl AddToDiagnostic for HigherRankedErrorCause

fn add_to_diagnostic_with<__F>(self, diag: &mut Diagnostic, f: __F)where
    __F: Fn(&mut Diagnostic, SubdiagnosticMessage) -> SubdiagnosticMessage,

Add a subdiagnostic to an existing diagnostic where f is invoked on every message used (to optionally perform eager translation).

fn add_to_diagnostic(self, diag: &mut Diagnostic)

Add a subdiagnostic to an existing diagnostic.

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: 32 bytes

Size for each variant:

• CouldNotProve: 24 bytes
• CouldNotNormalize: 24 bytes