go/types, types2: better error message for unsatisfied type constraint

The test case in `src/internal/types/testdata/fixedbugs/issue57486.go` reports the error
```
[2]any does not implement C2 ([2]any missing in int)
```
even though the `[2]any` is in the constraint (but not in the type set). Should provide a better error message.