make all typing-mode conditional code an exhaustive match

Author: jdonszelmann

compiler/rustc_type_ir/src/infer_ctxt.rs

@@ -41,7 +41,7 @@ use crate::{self as ty, Interner, TyVid};
     feature = "nightly",
     derive(Encodable_NoContext, Decodable_NoContext, HashStable_NoContext)
 )]
-#[cfg_attr(not(bootstrap), rustc_must_match_exhaustively)]
+#[cfg_attr(feature = "nightly", cfg_attr(not(bootstrap), rustc_must_match_exhaustively))]
 pub enum TypingMode<I: Interner> {
     /// When checking whether impls overlap, we check whether any obligations
     /// are guaranteed to never hold when unifying the impls. This requires us

tests/ui-fulldeps/internal-lints/must_match_exhaustively.rs

@@ -5,44 +5,43 @@
 #![feature(rustc_attrs)]
 #![deny(rustc::rustc_must_match_exhaustively)]
 
-
 #[rustc_must_match_exhaustively]
 #[derive(Copy, Clone)]
 enum Foo {
-    A {field: u32},
+    A { field: u32 },
     B,
 }
 
 fn foo(f: Foo) {
     match f {
-        Foo::A {..}=> {}
+        Foo::A { .. } => {}
         Foo::B => {}
     }
 
     match f {
         //~^ ERROR match is not exhaustive
-        Foo::A {..} => {}
+        Foo::A { .. } => {}
         _ => {}
     }
 
     match f {
         //~^ ERROR match is not exhaustive
-        Foo::A {..} => {}
+        Foo::A { .. } => {}
         a => {}
     }
 
     match &f {
         //~^ ERROR match is not exhaustive
-        Foo::A {..} => {}
+        Foo::A { .. } => {}
         a => {}
     }
 
     match f {
-        Foo::A {..} => {}
-        a@Foo::B => {}
+        Foo::A { .. } => {}
+        a @ Foo::B => {}
     }
 
-    if let Foo::A {..} = f {}
+    if let Foo::A { .. } = f {}
     //~^ ERROR match is not exhaustive
 }