PR feedback

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 17, 2024 · 6e23114 · 6e23114
1 parent 5254526
commit 6e23114
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/assertions.cpp b/src/assertions.cpp
@@ -246,6 +246,8 @@ class AssertExtractor {
             }
             return {Assert{TypeConstraint{ins.dst, TypeGroup::number}}};
         }
+        // For all other binary operations, the destination register must be a number and the source must either be a
+        // an immediate or a number.
         default:
             if (const auto src = std::get_if<Reg>(&ins.v)) {
                 return {Assert{TypeConstraint{ins.dst, TypeGroup::number}},