Your IP : 172.28.240.42
// 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
// TODO(gri) these error messages, while correct, could be better
f(a, x /* ERROR "type int of x does not match inferred type P for 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{})
// work-around: provide type argument explicitly
g[*P](&a, &b)
g[[]P]([]P{}, []P{})
}