From 6e231142be8df8af5ae28b9dd00febe65965af29 Mon Sep 17 00:00:00 2001
From: Alan Jowett <alan.jowett@microsoft.com>
Date: Thu, 17 Oct 2024 10:37:44 -0700
Subject: [PATCH] PR feedback

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
---
 src/assertions.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/assertions.cpp b/src/assertions.cpp
index 1d5fdebca..9bb558419 100644
--- 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}},