// 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)
	}
}