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