Dawid Lachowicz

cmd/compile: stack overflow when typechecking self-referential types

2

### What did you do? While working on formal methods (in the style of [Featherweight Go](https://dl.acm.org/doi/10.1145/3428217)) and a prototype type checker and interpreter for #65555, I stumbled across an example...

cmd/compile: inconsistent typechecking with self-referential type parameter constraints

1

This issue is similar to #65711. However, the behaviour of the compiler is different, so I am opening a separate issue. ### What did you do? While working on formal...

Without a specific version in the URL, the page returned a 404 response code.