blob: 556db37f49cf064d4a21396f20bdb7a440058f92 [file] [log] [blame] [edit]
// 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)
}
}