From: Ian Lance Taylor <iant@golang.org>
Date: Thu, 29 Oct 2009 00:09:24 +0000 (-0700)
Subject: Test that the compiler rejects map types which should not be
X-Git-Tag: weekly.2009-11-06~183
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=eb63c3fec44a80df9ae3eaab4cc5c2dc101912bc;p=gostls13.git

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
index 0000000000..fcf5c4775f
--- /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 c87d7e519e..4d915e280d 100644
--- 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