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

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