```Go package p type A[type T] int func f[type P]() func _() { _ = f[A] } ``` passes type-checking without error. But it should not be possible to instantiate `f[A]` with an uninstantiated `A`. Follow-up on #40038.
