diff --git a/reid/src/mir/typecheck/typerefs.rs b/reid/src/mir/typecheck/typerefs.rs
index 0f3aa74..affd176 100644
--- a/reid/src/mir/typecheck/typerefs.rs
+++ b/reid/src/mir/typecheck/typerefs.rs
@@ -315,6 +315,9 @@ impl<'outer> ScopeTypeRefs<'outer> {
             let Some((_, binop)) = iter.next() else {
                 break None;
             };
+            if binop.operator != *op {
+                continue;
+            }
             if let Some(ret) = try_binop(lhs, rhs, binop) {
                 break Some(ret);
             }