1
0
mirror of https://github.com/golang/go synced 2024-11-12 01:00:22 -07:00

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
This commit is contained in:
Ian Lance Taylor 2009-08-17 19:23:17 -07:00
parent f7e4fc9b1f
commit 42e9db134b
2 changed files with 35 additions and 0 deletions

26
test/bugs/bug190.go Normal file
View File

@ -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);
}

View File

@ -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