Trait rustc_mir_dataflow::framework::fmt::DebugWithContext

pub trait DebugWithContext<C>: Eq + Debug {
    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).

Implementations on Foreign Types

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 &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<C> DebugWithContext<C> for Local

Implementors

impl<'tcx, C> DebugWithContext<C> for MovePathIndex where
    C: HasMoveData<'tcx>, 

impl<C> DebugWithContext<C> for InitIndex

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

impl DebugWithContext<Borrows<'_, '_>> for BorrowIndex