| // 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 ../prime.go with type params | |
| // Enough gaps to trigger a map implementation of the method. | |
| // Also includes a duplicate to test that it doesn't cause problems | |
| package main | |
| import "fmt" | |
| // For now, a lone type parameter is not permitted as RHS in a type declaration (issue #45639). | |
| // type Likeint[T interface{ ~int | ~uint8 }] T | |
| type Likeint int | |
| // type Prime2 Likeint[int] | |
| type Prime2 Likeint | |
| const ( | |
| p2 Prime2 = 2 | |
| p3 Prime2 = 3 | |
| p5 Prime2 = 5 | |
| p7 Prime2 = 7 | |
| p77 Prime2 = 7 // Duplicate; note that p77 doesn't appear below. | |
| p11 Prime2 = 11 | |
| p13 Prime2 = 13 | |
| p17 Prime2 = 17 | |
| p19 Prime2 = 19 | |
| p23 Prime2 = 23 | |
| p29 Prime2 = 29 | |
| p37 Prime2 = 31 | |
| p41 Prime2 = 41 | |
| p43 Prime2 = 43 | |
| ) | |
| func main() { | |
| ck(0, "Prime2(0)") | |
| ck(1, "Prime2(1)") | |
| ck(p2, "p2") | |
| ck(p3, "p3") | |
| ck(4, "Prime2(4)") | |
| ck(p5, "p5") | |
| ck(p7, "p7") | |
| ck(p77, "p7") | |
| ck(p11, "p11") | |
| ck(p13, "p13") | |
| ck(p17, "p17") | |
| ck(p19, "p19") | |
| ck(p23, "p23") | |
| ck(p29, "p29") | |
| ck(p37, "p37") | |
| ck(p41, "p41") | |
| ck(p43, "p43") | |
| ck(44, "Prime2(44)") | |
| } | |
| func ck(prime Prime2, str string) { | |
| if fmt.Sprint(prime) != str { | |
| panic("prime2.go: " + str) | |
| } | |
| } |