| // 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. |
| |
| // This is a version of ../conv.go with type params |
| |
| // Check that constants defined as a conversion are accepted. |
| |
| package main |
| |
| import "fmt" |
| |
| // For now, a lone type parameter is not permitted as RHS in a type declaration (issue #45639). |
| // type Other[T interface{ ~int | ~uint }] T // Imagine this is in another package. |
| type Other int |
| |
| const ( |
| // alpha Other[int] = iota |
| alpha Other = iota |
| beta |
| gamma |
| delta |
| ) |
| |
| // type Conv2 Other[int] |
| type Conv2 Other |
| |
| const ( |
| Alpha = Conv2(alpha) |
| Beta = Conv2(beta) |
| Gamma = Conv2(gamma) |
| Delta = Conv2(delta) |
| ) |
| |
| func main() { |
| ck(Alpha, "Alpha") |
| ck(Beta, "Beta") |
| ck(Gamma, "Gamma") |
| ck(Delta, "Delta") |
| ck(42, "Conv2(42)") |
| } |
| |
| func ck(c Conv2, str string) { |
| if fmt.Sprint(c) != str { |
| panic("conv2.go: " + str) |
| } |
| } |