go/test/fixedbugs/bug251.go

// errorcheck

// Copyright 2010 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 I1 interface { // GC_ERROR "invalid recursive type"
	m() I2
	I2
}

type I2 interface {
	I1 // GCCGO_ERROR "loop|interface"
}


var i1 I1 = i2
var i2 I2
var i2a I2 = i1
test: use testlib (third 100) X ,s;^// \$G (\$D/)?\$F\.go $;// compile;g X ,s;^// \$G (\$D/)?\$F\.go && \$L \$F\.\$A $;// build;g X ,s;^// \$G (\$D/)?\$F\.go && \$L \$F\.\$A && \./\$A\.out $;// run;g X ,s;^// errchk \$G( -e)? (\$D/)?\$F\.go $;// errorcheck;g R=golang-dev, bradfitz CC=golang-dev https://golang.org/cl/5656083 2012-02-16 21:49:59 -07:00			`// errorcheck`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00
all: make copyright headers consistent with one space after period Follows suit with https://go-review.googlesource.com/#/c/20111. Generated by running $ grep -R 'Go Authors. All' * \| cut -d":" -f1 \| while read F;do perl -pi -e 's/Go Authors. All/Go Authors. All/g' $F;done The code in cmd/internal/unvendor wasn't changed. Fixes #15213 Change-Id: I4f235cee0a62ec435f9e8540a1ec08ae03b1a75f Reviewed-on: https://go-review.googlesource.com/21819 Reviewed-by: Ian Lance Taylor <iant@golang.org> Run-TryBot: Ian Lance Taylor <iant@golang.org> TryBot-Result: Gobot Gobot <gobot@golang.org> 2016-04-10 15:32:26 -06:00			`// Copyright 2010 The Go Authors. All rights reserved.`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00			`// Use of this source code is governed by a BSD-style`
			`// license that can be found in the LICENSE file.`

			`package main`

cmd/compile/internal/gc: handle recursive interfaces better Previously, we handled recursive interfaces by deferring typechecking of interface methods, while eagerly expanding interface embeddings. This CL switches to eagerly evaluating interface methods, and deferring expanding interface embeddings to dowidth. This allows us to detect recursive interface embeddings with the same mechanism used for detecting recursive struct embeddings. Updates #16369. Change-Id: If4c0320058047f8a2d9b52b9a79de47eb9887f95 Reviewed-on: https://go-review.googlesource.com/38391 Run-TryBot: Matthew Dempsky <mdempsky@google.com> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Robert Griesemer <gri@golang.org> 2017-03-20 12:56:15 -06:00			`type I1 interface { // GC_ERROR "invalid recursive type"`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00			`m() I2`
test: update for gofrontend error message changes fixedbugs/bug195.go:9:20: error: interface contains embedded non-interface fixedbugs/bug195.go:12:20: error: interface contains embedded non-interface fixedbugs/bug195.go:15:22: error: interface contains embedded non-interface fixedbugs/bug195.go:18:9: error: invalid recursive interface fixedbugs/bug195.go:26:9: error: invalid recursive interface fixedbugs/bug251.go:15:9: error: invalid recursive interface fixedbugs/issue23823.go:15:9: error: invalid recursive interface Change-Id: If4c22430557459d5b361beda7168f8cb42b58811 Reviewed-on: https://go-review.googlesource.com/c/go/+/278512 Trust: Ian Lance Taylor <iant@golang.org> Run-TryBot: Ian Lance Taylor <iant@golang.org> Reviewed-by: Than McIntosh <thanm@google.com> Reviewed-by: Cherry Zhang <cherryyz@google.com> TryBot-Result: Go Bot <gobot@golang.org> 2020-12-15 14:15:07 -07:00			`I2`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00			`}`

			`type I2 interface {`
cmd/compile/internal/gc: handle recursive interfaces better Previously, we handled recursive interfaces by deferring typechecking of interface methods, while eagerly expanding interface embeddings. This CL switches to eagerly evaluating interface methods, and deferring expanding interface embeddings to dowidth. This allows us to detect recursive interface embeddings with the same mechanism used for detecting recursive struct embeddings. Updates #16369. Change-Id: If4c0320058047f8a2d9b52b9a79de47eb9887f95 Reviewed-on: https://go-review.googlesource.com/38391 Run-TryBot: Matthew Dempsky <mdempsky@google.com> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Robert Griesemer <gri@golang.org> 2017-03-20 12:56:15 -06:00			`I1 // GCCGO_ERROR "loop\|interface"`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00			`}`


gc: Clean up dostruct/stotype, detect broken fields and propagate up to structs and functions to supress spurious errors. Fixes #1556. R=rsc CC=golang-dev https://golang.org/cl/5351042 2011-11-07 13:35:13 -07:00			`var i1 I1 = i2`
gc: bug250, bug251 - recursive interface types Fixes #287. R=ken2 CC=golang-dev https://golang.org/cl/199057 2010-02-02 00:58:49 -07:00			`var i2 I2`
			`var i2a I2 = i1`