Function rustc_middle::source ·
mir:: pretty:: write_extra
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.