RustPython
diff --git a/‎compiler/core/src/opcodes.rs‎
Lines changed: 46 additions & 24 deletions b/‎compiler/core/src/opcodes.rs‎
Lines changed: 46 additions & 24 deletions
diff --git a/‎scripts/gen_opcodes.py‎
Lines changed: 16 additions & 1 deletion b/‎scripts/gen_opcodes.py‎
Lines changed: 16 additions & 1 deletion
@@ -164,6 +164,21 @@ def rust_code(self) -> str:
 {impls}
         """.strip()
 
+    @property
+    def fn_new_unchecked(self) -> str:
+        return f"""
+/// Creates a new `{self.enum_name}` without checking the value is a valid opcode ID.
+///
+/// # Safety
+///
+/// The caller must ensure that `id` satisfies `{self.enum_name}::is_valid(id)`.
+#[must_use]
+pub const unsafe fn new_unchecked(id: {self.typ}) -> Self {{
+    // SAFETY: caller responsibility
+    unsafe {{ std::mem::transmute::<{self.typ}, Self>(id) }}
+}}
+"""
+
     @property
     def fn_is_valid(self) -> str:
         valid_ranges = fmt_ranges(
@@ -253,7 +268,7 @@ def fn_prefix(typ: str):
     {fn_prefix(typ)}
         if Self::is_valid(id) {{
             // SAFETY: We just validated that we have a valid opcode id.
-            Ok(unsafe {{ std::mem::transmute::<{self.typ}, Self>(id) }})
+            Ok(unsafe {{ Self::new_unchecked(id) }})
         }} else {{
             Err(())
         }}