1 // Copyright 2020 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 package p 6 7 func f1[T1, T2 any](T1, T2, struct{a T1; b T2}) {} 8 func _() { 9 f1(42, string("foo"), struct /* ERROR "does not match inferred type struct{a int; b string}" */ {a, b int}{}) 10 } 11 12 // simplified test case from issue 13 func f2[T any](_ []T, _ func(T)) {} 14 func _() { 15 f2([]string{}, func /* ERROR "does not match inferred type func(string)" */ (f []byte) {}) 16 } 17