1 // Copyright 2021 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 package p 6 7 func f[P int](P) {} 8 9 func _() { 10 _ = f[int] 11 _ = f[[ /* ERROR "[]int does not satisfy int ([]int missing in int)" */ ]int] 12 13 f(0) 14 f /* ERROR "P (type []int) does not satisfy int" */ ([]int{}) // TODO(gri) better error message 15 } 16