Make -Z borrowck-mir imply that EndRegion's should be emitted.

This commit is contained in:
Felix S. Klock II 2017-09-20 15:25:44 +02:00
parent 94a82adbb4
commit 66a31c7dc1

View File

@ -411,7 +411,8 @@ impl Session {
}
pub fn emit_end_regions(&self) -> bool {
self.opts.debugging_opts.emit_end_regions ||
(self.opts.debugging_opts.mir_emit_validate > 0)
(self.opts.debugging_opts.mir_emit_validate > 0) ||
self.opts.debugging_opts.borrowck_mir
}
pub fn lto(&self) -> bool {
self.opts.cg.lto