Remove traversable impl for bool

Author: eggyal

compiler/rustc_hir_typeck/src/pat.rs

@@ -567,7 +567,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             (lhs, Some((true, rhs_ty, rhs_sp))) => one_side_err(rhs_sp, rhs_ty, lhs),
             _ => span_bug!(span, "Impossible, verified above."),
         }
-        if (lhs, rhs).references_error() {
+        if (lhs.map(|(_, ty, _)| ty), rhs.map(|(_, ty, _)| ty)).references_error() {
             err.downgrade_to_delayed_bug();
         }
         if self.tcx.sess.teach(&err.get_code().unwrap()) {

compiler/rustc_type_ir/src/macros.rs

@@ -42,7 +42,6 @@ macro_rules! TrivialTypeTraversalImpls {
 
 TrivialTypeTraversalImpls! {
     (),
-    bool,
     usize,
     crate::AliasRelationDirection,
     crate::UniverseIndex,