Function rustc_mir::util::pretty::write_extra

pub(in util::pretty) fn write_extra<'tcx, F>(
    tcx: TyCtxt<'tcx>, 
    write: &mut dyn Write, 
    visit_op: F
) -> Result<()> where
    F: FnMut(&mut ExtraComments<'tcx>), 

After we print the main statement, we sometimes dump extra information. There's often a lot of little things "nuzzled up" in a statement.