From eb63c3fec44a80df9ae3eaab4cc5c2dc101912bc Mon Sep 17 00:00:00 2001 From: Ian Lance Taylor Date: Wed, 28 Oct 2009 17:09:24 -0700 Subject: [PATCH] Test that the compiler rejects map types which should not be compatible. R=rsc CC=go-dev http://go/go-review/1018001 --- test/bugs/bug212.go | 12 ++++++++++++ test/golden.out | 3 +++ 2 files changed, 15 insertions(+) create mode 100644 test/bugs/bug212.go 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 -- 2.48.1