cmd/compile: bad error message for failing constraint type inference

[griesemer]

package p

func f[S []E, E any]() {}

var _ = f[int] // ERROR S does not match []E

The error should be: int does not match []E.

[gopherbot]

Change https://go.dev/cl/455278 mentions this issue: go/types, types2: better error message for failing constraint type inference