diff --git a/cranelift/isle/isle/src/codegen.rs b/cranelift/isle/isle/src/codegen.rs
index 5f4619e479..1b63ea3fc9 100644
--- a/cranelift/isle/isle/src/codegen.rs
+++ b/cranelift/isle/isle/src/codegen.rs
@@ -71,6 +71,7 @@ impl<'a> Codegen<'a> {
             "#![allow(unused_imports, unused_variables, non_snake_case)]"
         )
         .unwrap();
+        writeln!(code, "#[allow(irrefutable_let_patterns)]").unwrap();
 
         writeln!(code, "\nuse super::*;  // Pulls in all external types.").unwrap();
     }