mirror of
https://github.com/golang/go
synced 2024-11-16 20:14:48 -07:00
07a7c6f904
Change-Id: Icabef5cf75770ffde012b1fc785a72f53f9b2c46 Reviewed-on: https://go-review.googlesource.com/c/go/+/353669 Trust: Robert Griesemer <gri@golang.org> Trust: Daniel Martí <mvdan@mvdan.cc> Run-TryBot: Robert Griesemer <gri@golang.org> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
55 lines
891 B
Go
55 lines
891 B
Go
// run -gcflags=-G=3
|
|
|
|
// 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.
|
|
|
|
// Smoke test for constraint literals with elided interface
|
|
// per issue #48424.
|
|
|
|
package main
|
|
|
|
func identity[T int](x T) T {
|
|
return x
|
|
}
|
|
|
|
func min[T int|string](x, y T) T {
|
|
if x < y {
|
|
return x
|
|
}
|
|
return y
|
|
}
|
|
|
|
func max[T ~float64](x, y T) T {
|
|
if x > y {
|
|
return x
|
|
}
|
|
return y
|
|
}
|
|
|
|
func main() {
|
|
if identity(1) != 1 {
|
|
panic("identity(1) failed")
|
|
}
|
|
|
|
if min(2, 3) != 2 {
|
|
panic("min(2, 3) failed")
|
|
}
|
|
|
|
if min("foo", "bar") != "bar" {
|
|
panic(`min("foo", "bar") failed`)
|
|
}
|
|
|
|
if max(2, 3) != 3 {
|
|
panic("max(2, 3) failed")
|
|
}
|
|
}
|
|
|
|
// Some random type parameter lists with elided interfaces.
|
|
|
|
type (
|
|
_ [T struct{}] struct{}
|
|
_ [M map[K]V, K comparable, V any] struct{}
|
|
_ [_ interface{}|int] struct{}
|
|
)
|