added tests

gnovm/tests/files/bool6.gno

@@ -0,0 +1,12 @@
+package main
+
+func main() {
+ println(X())
+}
+
+func X() string {
+ return "hello" || "world"
+}
+
+// Error:
+// main/files/bool6.gno:8: operands of boolean operators must evaluate to boolean typed values

gnovm/tests/files/bool7.gno

@@ -0,0 +1,16 @@
+package main
+
+// Ensure, when comparing evaluated boolean operand types, that the kinds produced
+// are the same when one operand is typed and the other is untyped.
+func main() {
+ println(boolAndTrue(true))
+ println(boolAndTrue(false))
+}
+
+func boolAndTrue(b bool) bool {
+ return b && true
+}
+
+// Output:
+// true
+// false