pub(crate) enum HigherRankedErrorCause {
CouldNotProve {
predicate: String,
},
CouldNotNormalize {
value: String,
},
}
Variants§
Trait Implementations§
source§impl AddToDiagnostic for HigherRankedErrorCause
impl AddToDiagnostic for HigherRankedErrorCause
source§fn add_to_diagnostic_with<__F>(self, diag: &mut Diagnostic, f: __F)where
__F: Fn(&mut Diagnostic, SubdiagnosticMessage) -> SubdiagnosticMessage,
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). Read moresource§fn add_to_diagnostic(self, diag: &mut Diagnostic)
fn add_to_diagnostic(self, diag: &mut Diagnostic)
Add a subdiagnostic to an existing diagnostic.
Auto Trait Implementations§
impl RefUnwindSafe for HigherRankedErrorCause
impl Send for HigherRankedErrorCause
impl Sync for HigherRankedErrorCause
impl Unpin for HigherRankedErrorCause
impl UnwindSafe for HigherRankedErrorCause
Blanket Implementations§
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 bytesCouldNotNormalize
: 24 bytes