1 // Copyright 2022 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 type number interface { 8 ~float64 | ~int | ~int32 9 float64 | ~int32 10 } 11 12 func f[T number]() {} 13 14 func _() { 15 _ = f[int /* ERROR "int does not satisfy number (number mentions int, but int is not in the type set of number)" */] 16 } 17