fn write_extra<'tcx, F>(
tcx: TyCtxt<'tcx>,
write: &mut dyn Write,
visit_op: F,
options: PrettyPrintMirOptions,
) -> Result<()>where
F: FnMut(&mut ExtraComments<'tcx>),
Expand description
After we print the main statement, we sometimes dump extra information. There’s often a lot of little things “nuzzled up” in a statement.