reflect: Implements fails with anonymous, recursive interfaces

[mdempsky]

Program below should print and exit silently, but instead it reports an error.

The underlying issue here may be a cmd/compile issue though, since it works with go run -compiler=gccgo.

$ go run q.go
FAIL: "main.T".Implements("main.I") reports false

$ cat q.go
package main

import (
	"fmt"
	"reflect"
)

func main() {
	// statically verify that T implements I
	var _ I = T(0)

	i := reflect.TypeOf(new(I)).Elem()
	t := reflect.TypeOf(new(T)).Elem()
	if !t.Implements(i) {
		fmt.Printf("FAIL: %q.Implements(%q) reports false\n", t, i)
	}
}

type I interface{ m() interface{ I } }

type T int

func (T) m() interface{ I } { return nil }

/cc @golang/compiler

[mdempsky]

Probably the same underlying issue, but affecting type assertions:

$ go run q.go
main.T does not implement I

$ cat q.go
package main

import "fmt"

func main() {
	var i any
	i = T(0)

	if _, ok := i.(I); !ok {
		fmt.Printf("%T does not implement I\n", i)
	}
}

type I interface{ m() interface{ I } }

type T int

func (T) m() interface{ I } { return nil }

var _ I = T(0) // static assert