diff --git a/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs b/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs
index 592d4beea..34a266759 100644
--- a/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs
+++ b/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs
@@ -268,7 +268,7 @@ pub(crate) extern "C" fn __yk_deopt(
                             };
                             match size {
                                 // FIXME: Check that 16-byte writes are for float registers only.
-                                16 | 8 => unsafe { ptr::write::<u64>(temp as *mut u64, jitval) },
+                                8 => unsafe { ptr::write::<u64>(temp as *mut u64, jitval) },
                                 4 => unsafe { ptr::write::<u32>(temp as *mut u32, jitval as u32) },
                                 2 => unsafe { ptr::write::<u16>(temp as *mut u16, jitval as u16) },
                                 _ => todo!("{}", size),