summaryrefslogtreecommitdiffstats
path: root/test/named1.go
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--test/named1.go62
1 files changed, 62 insertions, 0 deletions
diff --git a/test/named1.go b/test/named1.go
new file mode 100644
index 0000000..452c6da
--- /dev/null
+++ b/test/named1.go
@@ -0,0 +1,62 @@
+// errorcheck
+
+// Copyright 2009 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.
+
+// Test that basic operations on named types are valid
+// and preserve the type.
+// Does not compile.
+
+package main
+
+type Bool bool
+
+type Map map[int]int
+
+func (Map) M() {}
+
+type Slice []byte
+
+var slice Slice
+
+func asBool(Bool) {}
+func asString(String) {}
+
+type String string
+
+func main() {
+ var (
+ b Bool = true
+ i, j int
+ c = make(chan int)
+ m = make(Map)
+ )
+
+ asBool(b)
+ asBool(!b)
+ asBool(true)
+ asBool(*&b)
+ asBool(Bool(true))
+ asBool(1 != 2) // ok now
+ asBool(i < j) // ok now
+
+ _, b = m[2] // ok now
+
+ var inter interface{}
+ _, b = inter.(Map) // ok now
+ _ = b
+
+ var minter interface {
+ M()
+ }
+ _, b = minter.(Map) // ok now
+ _ = b
+
+ _, bb := <-c
+ asBool(bb) // ERROR "cannot use.*type bool.*as type Bool|cannot use bb"
+ _, b = <-c // ok now
+ _ = b
+
+ asString(String(slice)) // ok
+}