// Copyright 2021 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.

// This issue has been re-opened.

package p

func f[P any](a, _ P) {
	// var x int
	// f(a, x /* ERROR type int of x does not match P */)
	// f(x, a /* ERROR type P of a does not match inferred type int for P */)
}

func g[P any](a, b P) {
	// g(a, b)
	// g(&a, &b)
	// g([]P{}, []P{})
}

func h[P any](a, b P) {
	// h(&a, &b)
	// h([]P{a}, []P{b})
}