refactor: use bug! instead of unreachable!

Author: haenoe

Cargo.lock

@@ -3366,6 +3366,7 @@ dependencies = [
  "rustc_lexer",
  "rustc_lint_defs",
  "rustc_macros",
+ "rustc_middle",
  "rustc_parse",
  "rustc_parse_format",
  "rustc_session",

compiler/rustc_builtin_macros/Cargo.toml

@@ -21,6 +21,7 @@ rustc_index = { path = "../rustc_index" }
 rustc_lexer = { path = "../rustc_lexer" }
 rustc_lint_defs = { path = "../rustc_lint_defs" }
 rustc_macros = { path = "../rustc_macros" }
+rustc_middle = { path = "../rustc_middle" }
 rustc_parse = { path = "../rustc_parse" }
 rustc_parse_format = { path = "../rustc_parse_format" }
 rustc_session = { path = "../rustc_session" }

compiler/rustc_builtin_macros/src/autodiff.rs

@@ -20,6 +20,7 @@ mod llvm_enzyme {
         PatKind, TyKind,
     };
     use rustc_expand::base::{Annotatable, ExtCtxt};
+    use rustc_middle::bug;
     use rustc_span::{Ident, Span, Symbol, kw, sym};
     use thin_vec::{ThinVec, thin_vec};
     use tracing::{debug, trace};
@@ -208,7 +209,7 @@ mod llvm_enzyme {
             }
             Annotatable::Stmt(stmt) => match &stmt.kind {
                 ast::StmtKind::Item(iitem) => (iitem.vis.clone(), iitem.ident.clone()),
-                _ => unreachable!("stmt kind checked previously"),
+                _ => bug!("stmt kind checked previously"),
             },
             _ => {
                 dcx.emit_err(errors::AutoDiffInvalidApplication { span: item.span() });
@@ -337,13 +338,13 @@ mod llvm_enzyme {
                             iitem.attrs.push(inline_never.clone());
                         }
                     }
-                    _ => unreachable!("stmt kind checked previously"),
+                    _ => bug!("stmt kind checked previously"),
                 };
 
                 Annotatable::Stmt(stmt.clone())
             }
             _ => {
-                unreachable!("annotatable kind checked previously")
+                bug!("annotatable kind checked previously")
             }
         };
         // Now update for d_fn
@@ -387,7 +388,7 @@ mod llvm_enzyme {
                 }))
             }
             _ => {
-                unreachable!("item kind checked previously")
+                bug!("item kind checked previously")
             }
         };