From: Rob Pike <r@golang.org>
Date: Tue, 27 Jan 2009 02:35:18 +0000 (-0800)
Subject: f, ok := i.(Foo) does not compile if i already is equivalent to Foo
X-Git-Tag: weekly.2009-11-06~2285
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=fa615a3b303fdf10e9e3dcd21d372c0ed8e7351a;p=gostls13.git

f, ok := i.(Foo) does not compile if i already is equivalent to Foo

R=rsc
DELTA=18  (18 added, 0 deleted, 0 changed)
OCL=23544
CL=23547
---

diff --git a/test/bugs/bug135.go b/test/bugs/bug135.go
new file mode 100644
index 0000000000..d7115c4f27
--- /dev/null
+++ b/test/bugs/bug135.go
@@ -0,0 +1,18 @@
+// $G $D/$F.go || echo BUG: should compile
+
+// 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 Foo interface { }
+
+type T struct {}
+func (t *T) foo() {}
+
+func main() {
+  t := new(T);
+  var i interface {};
+  f, ok := i.(Foo);
+}
diff --git a/test/golden.out b/test/golden.out
index d70df181d3..241225ab09 100644
--- a/test/golden.out
+++ b/test/golden.out
@@ -181,6 +181,10 @@ BUG: should not compile
 =========== bugs/bug132.go
 BUG: compilation succeeds incorrectly
 
+=========== bugs/bug135.go
+bugs/bug135.go:13: assignment count mismatch: 2 = 1
+BUG: should compile
+
 =========== fixedbugs/bug016.go
 fixedbugs/bug016.go:7: overflow converting constant to uint