Struct BorrowckDiags

pub(crate) struct BorrowckDiags<'infcx, 'tcx> {
    buffered_move_errors: BTreeMap<Vec<MoveOutIndex>, (PlaceRef<'tcx>, Diag<'infcx>)>,
    buffered_mut_errors: FxIndexMap<Span, (Diag<'infcx>, usize)>,
    buffered_diags: Vec<BufferedDiag<'infcx>>,
}

Fields

buffered_move_errors: BTreeMap<Vec<MoveOutIndex>, (PlaceRef<'tcx>, Diag<'infcx>)>

This field keeps track of move errors that are to be reported for given move indices.

There are situations where many errors can be reported for a single move out (see #53807) and we want only the best of those errors.

The report_use_of_moved_or_uninitialized function checks this map and replaces the diagnostic (if there is one) if the Place of the error being reported is a prefix of the Place of the previous most diagnostic. This happens instead of buffering the error. Once all move errors have been reported, any diagnostics in this map are added to the buffer to be emitted.

BTreeMap is used to preserve the order of insertions when iterating. This is necessary when errors in the map are being re-added to the error buffer so that errors with the same primary span come out in a consistent order.

buffered_mut_errors: FxIndexMap<Span, (Diag<'infcx>, usize)>

buffered_diags: Vec<BufferedDiag<'infcx>>

Buffer of diagnostics to be reported. A mixture of error and non-error diagnostics.

Implementations

impl<'infcx, 'tcx> BorrowckDiags<'infcx, 'tcx>

pub(crate) fn new() -> Self

pub(crate) fn buffer_error(&mut self, diag: Diag<'infcx>)

pub(crate) fn buffer_non_error(&mut self, diag: Diag<'infcx, ()>)

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