diff --git a/src/librustc/hir/lowering.rs b/src/librustc/hir/lowering.rs
index 5fb8170cd6c..d072340d8c8 100644
--- a/src/librustc/hir/lowering.rs
+++ b/src/librustc/hir/lowering.rs
@@ -1346,7 +1346,7 @@ impl<'a> LoweringContext<'a> {
 
                 hir::ItemImpl(self.lower_unsafety(unsafety),
                               self.lower_impl_polarity(polarity),
-                              self.lower_defaultness(defaultness),
+                              self.lower_defaultness(defaultness, true /* [1] */),
                               self.lower_generics(generics),
                               ifce,
                               self.lower_ty(ty),
diff --git a/src/librustc/hir/print.rs b/src/librustc/hir/print.rs
index dec0753be06..a78d5ce1c16 100644
--- a/src/librustc/hir/print.rs
+++ b/src/librustc/hir/print.rs
@@ -823,8 +823,9 @@ impl<'a> State<'a> {
     }
 
     pub fn print_defaultness(&mut self, defaultness: hir::Defaultness) -> io::Result<()> {
-        if let hir::Defaultness::Default = defaultness {
-            self.word_nbsp("default")?;
+        match defaultness {
+            hir::Defaultness::Default { .. } => self.word_nbsp("default")?,
+            hir::Defaultness::Final => (),
         }
         Ok(())
     }