Change https://golang.org/cl/352311 mentions this issue: cmd/compile/internal/types2: use correct argument types for recursive generic functions

package p
func g[P any](x P) {
        g[int](x)
}

Is this code permitted at all? It is a recursive reference from g to itself with a different set of type arguments.

Agreed that this code should not be permitted because the argument x in the local call of g is of type P (which we don't know anything about) but that call requires the argument to be of type int (per the instantiation of g). In the first recursive call, x will be of type int but that's "too late".

In short, type-checking this function should fail, and thus this is not an issue.