Surprise! We can't and either

o1-labs · Dec 4, 2023 · d7d4f44 · d7d4f44
1 parent fe9da52
commit d7d4f44
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/optimism/src/mips/interpreter.rs b/optimism/src/mips/interpreter.rs
@@ -197,7 +197,6 @@ pub trait InterpreterEnv {
     type Variable: Clone
         + std::ops::Add<Self::Variable, Output = Self::Variable>
         + std::ops::Mul<Self::Variable, Output = Self::Variable>
-        + std::ops::BitAnd<u32, Output = Self::Variable>
         + std::fmt::Debug;
 
     fn overwrite_register_checked(&mut self, register_idx: &Self::Variable, value: &Self::Variable);