Test that a type can refer to itself recursively as long as it

does so in ways that permit its size to be known.

R=rsc
DELTA=35  (35 added, 0 deleted, 0 changed)
OCL=33427
CL=33433

diff --git a/test/bugs/bug190.go b/test/bugs/bug190.go
new file mode 100644 (file)
index 0000000..da0bfde
--- /dev/null
+++ b/test/bugs/bug190.go
@@ -0,0 +1,26 @@
+// $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 S struct {
+       p *S;
+       s []S;
+       m map[int] S;
+       c chan S;
+       i interface { f(S); };
+       f func(S) S;
+}
+
+func main() {
+       var s S;
+       s.p = &s;
+       s.s = make([]S, 1);
+       s.s[0] = s;
+       s.m[0] = s;
+       s.c <- s;
+       s.i.f(s);
+}

diff --git a/test/golden.out b/test/golden.out
index 81b1bc8c6e179b9786b347a37d4b71363fdb3516..f3841b15b164ba64e938841478d9946930cb9543 100644 (file)
--- a/test/golden.out
+++ b/test/golden.out
@@ -159,3 +159,12 @@ BUG: 0 1
 
 =========== bugs/bug189.go
 BUG: errchk: command succeeded unexpectedly
+
+=========== bugs/bug190.go
+<epoch>: invalid recursive type []S
+<epoch>: invalid recursive type S
+<epoch>: invalid recursive type S
+<epoch>: invalid recursive type chan S
+<epoch>: invalid recursive type S
+<epoch>: invalid recursive type func(S) (S)
+BUG: should compile