Skip to content

Commit 5d259b2

Browse files
committed
change MIR dump format to include yield type
1 parent ea742a4 commit 5d259b2

File tree

1 file changed

+10
-3
lines changed

1 file changed

+10
-3
lines changed

src/librustc_mir/util/pretty.rs

+10-3
Original file line numberDiff line numberDiff line change
@@ -522,7 +522,7 @@ pub fn write_mir_intro<'a, 'gcx, 'tcx>(
522522
w: &mut Write,
523523
) -> io::Result<()> {
524524
write_mir_sig(tcx, src, mir, w)?;
525-
writeln!(w, " {{")?;
525+
writeln!(w, "{{")?;
526526

527527
// construct a scope tree and write it out
528528
let mut scope_tree: FxHashMap<VisibilityScope, Vec<VisibilityScope>> = FxHashMap();
@@ -585,13 +585,20 @@ fn write_mir_sig(tcx: TyCtxt, src: MirSource, mir: &Mir, w: &mut Write) -> io::R
585585
write!(w, "{:?}: {}", Place::Local(arg), mir.local_decls[arg].ty)?;
586586
}
587587

588-
write!(w, ") -> {}", mir.return_ty())
588+
write!(w, ") -> {}", mir.return_ty())?;
589589
}
590590
(hir::BodyOwnerKind::Const, _) | (hir::BodyOwnerKind::Static(_), _) | (_, Some(_)) => {
591591
assert_eq!(mir.arg_count, 0);
592-
write!(w, ": {} =", mir.return_ty())
592+
write!(w, ": {} =", mir.return_ty())?;
593593
}
594594
}
595+
596+
if let Some(yield_ty) = mir.yield_ty {
597+
writeln!(w)?;
598+
writeln!(w, "yields {}", yield_ty)?;
599+
}
600+
601+
Ok(())
595602
}
596603

597604
fn write_temp_decls(mir: &Mir, w: &mut Write) -> io::Result<()> {

0 commit comments

Comments
 (0)