about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFelix S. Klock II <pnkfelix@pnkfx.org>2017-09-20 15:25:44 +0200
committerFelix S. Klock II <pnkfelix@pnkfx.org>2017-09-20 15:25:44 +0200
commit66a31c7dc167a60bd8719e3f7bf2ae89ac781cff (patch)
tree997b3271d0880be75d36deb6ecd1a230cd50785d
parent94a82adbb491b5fd0585370d4fcc7b36798e70d5 (diff)
downloadrust-66a31c7dc167a60bd8719e3f7bf2ae89ac781cff.tar.gz
rust-66a31c7dc167a60bd8719e3f7bf2ae89ac781cff.zip
Make `-Z borrowck-mir` imply that `EndRegion`'s should be emitted.
-rw-r--r--src/librustc/session/mod.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/librustc/session/mod.rs b/src/librustc/session/mod.rs
index df5a2648e27..bdff6535713 100644
--- a/src/librustc/session/mod.rs
+++ b/src/librustc/session/mod.rs
@@ -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