Trait rustc_mir_dataflow::fmt::DebugWithContext

pub trait DebugWithContext<C>: Eq + Debug {
    // Provided methods
    fn fmt_with(&self, _ctxt: &C, f: &mut Formatter<'_>) -> Result { ... }
    fn fmt_diff_with(
        &self,
        old: &Self,
        ctxt: &C,
        f: &mut Formatter<'_>
    ) -> Result { ... }
}

An extension to fmt::Debug for data that can be better printed with some auxiliary data C.

Provided Methods

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

fn fmt_diff_with(&self, old: &Self, ctxt: &C, f: &mut Formatter<'_>) -> Result

Print the difference between self and old.

This should print nothing if self == old.

+ and - are typically used to indicate differences. However, these characters are fairly common and may be needed to print a types representation. If using them to indicate a diff, prefix them with the “Unit Separator” control character (␟ U+001F).

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<C> DebugWithContext<C> for Local

impl<T, C> DebugWithContext<C> for &T

where T: DebugWithContext<C>,

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

fn fmt_diff_with(&self, old: &Self, ctxt: &C, f: &mut Formatter<'_>) -> Result

impl<T, C> DebugWithContext<C> for BitSet<T>

where T: Idx + DebugWithContext<C>,

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

fn fmt_diff_with(&self, old: &Self, ctxt: &C, f: &mut Formatter<'_>) -> Result

impl<T, C> DebugWithContext<C> for ChunkedBitSet<T>

where T: Idx + DebugWithContext<C>,

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

fn fmt_diff_with(&self, old: &Self, ctxt: &C, f: &mut Formatter<'_>) -> Result

Implementors

impl<'tcx, C> DebugWithContext<C> for MovePathIndex

where C: HasMoveData<'tcx>,

impl<'tcx, T> DebugWithContext<ValueAnalysisWrapper<T>> for State<T::Value>

where T: ValueAnalysis<'tcx>, T::Value: Debug,

This is used to visualize the dataflow analysis.

impl<C> DebugWithContext<C> for InitIndex

impl<S, C> DebugWithContext<C> for MaybeReachable<S>

where S: DebugWithContext<C>,

impl<T, C> DebugWithContext<C> for Dual<T>

where T: DebugWithContext<C>,