summaryrefslogtreecommitdiffstats
path: root/test/fixedbugs/issue6671.go
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--test/fixedbugs/issue6671.go28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/fixedbugs/issue6671.go b/test/fixedbugs/issue6671.go
new file mode 100644
index 0000000..ce43f31
--- /dev/null
+++ b/test/fixedbugs/issue6671.go
@@ -0,0 +1,28 @@
+// errorcheck
+
+// Copyright 2014 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// Issue 6671: Logical operators should produce untyped bool for untyped operands.
+
+package p
+
+type mybool bool
+
+func _(x, y int) {
+ type mybool bool
+ var b mybool
+ _ = b
+ b = bool(true) // ERROR "cannot use"
+ b = true // permitted as expected
+ b = bool(true) && true // ERROR "cannot use"
+ b = true && true // permitted => && returns an untyped bool
+ b = x < y // permitted => x < y returns an untyped bool
+ b = true && x < y // permitted => result of && returns untyped bool
+ b = x < y && x < y // permitted => result of && returns untyped bool
+ b = x < y || x < y // permitted => result of || returns untyped bool
+ var c bool = true && x < y // permitted => result of && is bool
+ c = false || x < y // permitted => result of || returns untyped bool
+ _ = c
+}