// 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) {})

}