Trait rustc_errors::diagnostic_builder::EmissionGuarantee

pub trait EmissionGuarantee: Sized {
    fn diagnostic_builder_emit_producing_guarantee(
        db: &mut DiagnosticBuilder<'_, Self>
    ) -> Self;
    fn make_diagnostic_builder(
        handler: &Handler,
        msg: impl Into<DiagnosticMessage>
    ) -> DiagnosticBuilder<'_, Self>;
}

Trait for types that DiagnosticBuilder::emit can return as a “guarantee” (or “proof”) token that the emission happened.

Required Methods

fn diagnostic_builder_emit_producing_guarantee(
    db: &mut DiagnosticBuilder<'_, Self>
) -> Self

Implementation of DiagnosticBuilder::emit, fully controlled by each impl of EmissionGuarantee, to make it impossible to create a value of Self without actually performing the emission.

fn make_diagnostic_builder(
    handler: &Handler,
    msg: impl Into<DiagnosticMessage>
) -> DiagnosticBuilder<'_, Self>

Creates a new DiagnosticBuilder that will return this type of guarantee.

Implementations on Foreign Types

impl EmissionGuarantee for ()

fn diagnostic_builder_emit_producing_guarantee(
    db: &mut DiagnosticBuilder<'_, Self>
) -> Self

fn make_diagnostic_builder(
    handler: &Handler,
    msg: impl Into<DiagnosticMessage>
) -> DiagnosticBuilder<'_, Self>

impl EmissionGuarantee for !

fn diagnostic_builder_emit_producing_guarantee(
    db: &mut DiagnosticBuilder<'_, Self>
) -> Self

fn make_diagnostic_builder(
    handler: &Handler,
    msg: impl Into<DiagnosticMessage>
) -> DiagnosticBuilder<'_, Self>

Implementors

impl EmissionGuarantee for ErrorGuaranteed