Test that interfaces work in type switches.

R=ken,rsc
DELTA=30  (30 added, 0 deleted, 0 changed)
OCL=26599
CL=26604

diff --git a/test/bugs/bug141.go b/test/bugs/bug141.go
new file mode 100644 (file)
index 0000000..a2fd992
--- /dev/null
+++ b/test/bugs/bug141.go
@@ -0,0 +1,30 @@
+// $G $D/$F.go && $L $F.$A && ./$A.out || echo BUG: should run
+
+// 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 S struct { i int }
+func (p *S) Get() int { return p.i }
+
+type Empty interface {
+}
+
+type Getter interface {
+       Get() int;
+}
+
+func f1(p Empty) {
+       switch x := p.(type) {
+       default: println("failed to match interface"); sys.Exit(1);
+       case Getter: break;
+       }
+
+}
+
+func main() {
+       var s S;
+       f1(&s);
+}

diff --git a/test/golden.out b/test/golden.out
index c41d2d9e17209d78de965fddaab18f7e3c903c17..35a6aec8c6d6f1950a797c38f35f618b5deade2e 100644 (file)
--- a/test/golden.out
+++ b/test/golden.out
@@ -141,6 +141,10 @@ bugs/bug140.go:6: syntax error near L1
 bugs/bug140.go:7: syntax error near L2
 BUG should compile
 
+=========== bugs/bug141.go
+failed to match interface
+BUG: should run
+
 =========== fixedbugs/bug016.go
 fixedbugs/bug016.go:7: constant -3 overflows uint