diff --git a/src/librustc/mir/mod.rs b/src/librustc/mir/mod.rs
index f3d92d3692de..d78e17ce03ce 100644
--- a/src/librustc/mir/mod.rs
+++ b/src/librustc/mir/mod.rs
@@ -1209,10 +1209,13 @@ impl<'tcx> Debug for Rvalue<'tcx> {
                 };
 
                 // When printing regions, add trailing space if necessary.
-                let region = {
+                let region = if ppaux::verbose() || ppaux::identify_regions() {
                     let mut region = format!("{}", region);
                     if region.len() > 0 { region.push(' '); }
                     region
+                } else {
+                    // Do not even print 'static
+                    "".to_owned()
                 };
                 write!(fmt, "&{}{}{:?}", region, kind_str, lv)
             }