package p
type S[A, B any] struct {}
func _[A any](s S /* ERROR cannot infer B */ /* ERROR got 1 arguments but 2 type parameters */ [A]) {}
produces two error messages:
filename.go:5:17: cannot infer B (filename:go:3:11)
filename.go:5:17: got 1 arguments but 2 type parameters
There's no need to report the 2nd error.
Follow-up on #49541.
produces two error messages:
There's no need to report the 2nd error.
Follow-up on #49541.