Test that the compiler rejects map types which should not be

compatible.

R=rsc
CC=go-dev
http://go/go-review/1018001

diff --git a/test/bugs/bug212.go b/test/bugs/bug212.go
new file mode 100644 (file)
index 0000000..fcf5c47
--- /dev/null
+++ b/test/bugs/bug212.go
@@ -0,0 +1,12 @@
+// errchk $G $D/$F.go
+
+// 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.
+
+package main
+type I int 
+type S struct { f map[I]int }
+var v1 = S{ make(map[int]int) }                // OK--names are ignored.
+var v2 map[I]int = map[int]int{}       // OK.
+var v3 = S{ make(map[uint]int) }       // ERROR "cannot|illegal|incompatible|wrong"

diff --git a/test/golden.out b/test/golden.out
index c87d7e519e93cfd4cdb87804c8bfa83d29f710d7..4d915e280dceab9ab3c835fa0178533fa724701f 100644 (file)
--- a/test/golden.out
+++ b/test/golden.out
@@ -201,3 +201,6 @@ throw: interface conversion
 panic PC=xxx
 
 == bugs/
+
+=========== bugs/bug212.go
+BUG: errchk: command succeeded unexpectedly