| // Copyright 2020 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package p |
| |
| func f1[T1, T2 any](T1, T2, struct{a T1; b T2}) {} |
| func _() { |
| f1(42, string("foo"), struct /* ERROR does not match inferred type struct\{a int; b string\} */ {a, b int}{}) |
| } |
| |
| // simplified test case from issue |
| func f2[T any](_ []T, _ func(T)) {} |
| func _() { |
| f2([]string{}, func /* ERROR does not match inferred type func\(string\) */ (f []byte) {}) |
| } |
