comments

gnolang · Dec 10, 2024 · ca91ef0 · ca91ef0
1 parent f83eaa3
commit ca91ef0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
@@ -3564,6 +3564,9 @@ func checkOrConvertType(store Store, last BlockNode, x *Expr, t Type, autoNative
 						checkOrConvertType(store, last, &bx.Left, rt, autoNative)
 						checkOrConvertType(store, last, &bx.Right, rt, autoNative)
 					}
+					// this is not a constant expression; the result here should
+					// always be a BoolType. (in this scenario, we may have some
+					// UntypedBoolTypes)
 					t = BoolType
 				default:
 					// do nothing