qbit/go
1
0
Fork 0
mirror of https://github.com/golang/go synced 2024-11-26 07:47:57 -07:00
Code Releases Activity

[dev.typeparams] cmd/compile/internal/types2: convert testdata/examples tests to type set sytax

Browse Source 
Change-Id: Ida3837c9cbb970a2b49cd1598c6e6e9de8aa9690
Reviewed-on: https://go-review.googlesource.com/c/go/+/324529
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
This commit is contained in:
Robert Griesemer 2021-06-02 15:36:11 -07:00
parent d36b7d7bdd
commit 9a99e728fe
3 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/cmd/compile/internal/types2/testdata/examples/functions.go2 vendored
View File

@ -98,7 +98,7 @@ func g2b[P, Q any](x P, y Q) {
// Here's an example of a recursive function call with variadic // Here's an example of a recursive function call with variadic
// arguments and type inference inferring the type parameter of // arguments and type inference inferring the type parameter of
// the caller (i.e., itself). // the caller (i.e., itself).
func max[T interface{ type int }](x ...T) T { func max[T interface{ ~int }](x ...T) T {
var x0 T var x0 T
if len(x) > 0 { if len(x) > 0 {
x0 = x[0] x0 = x[0]

6
src/cmd/compile/internal/types2/testdata/examples/inference.go2 vendored
View File

@ -7,7 +7,7 @@
package p package p
type Ordered interface { type Ordered interface {
type int, float64, string ~int|~float64|~string
} }
func min[T Ordered](x, y T) T func min[T Ordered](x, y T) T
@ -54,7 +54,7 @@ func _() {
mixed[int, string](1.1 /* ERROR cannot use 1.1 */ , "", false) mixed[int, string](1.1 /* ERROR cannot use 1.1 */ , "", false)
} }
func related1[Slice interface{type []Elem}, Elem any](s Slice, e Elem) func related1[Slice interface{~[]Elem}, Elem any](s Slice, e Elem)
func _() { func _() {
// related1 can be called with explicit instantiation. // related1 can be called with explicit instantiation.
@ -78,7 +78,7 @@ func _() {
related1(si, "foo" /* ERROR cannot use "foo" */ ) related1(si, "foo" /* ERROR cannot use "foo" */ )
} }
func related2[Elem any, Slice interface{type []Elem}](e Elem, s Slice) func related2[Elem any, Slice interface{~[]Elem}](e Elem, s Slice)
func _() { func _() {
// related2 can be called with explicit instantiation. // related2 can be called with explicit instantiation.

8
src/cmd/compile/internal/types2/testdata/examples/types.go2 vendored
View File

@ -159,7 +159,7 @@ type _ struct {
// are type parameters. As with ordinary type definitions, the // are type parameters. As with ordinary type definitions, the
// types underlying properties are "inherited" but the methods // types underlying properties are "inherited" but the methods
// are not. // are not.
func _[T interface{ m(); type int }]() { func _[T interface{ m(); ~int }]() {
type L T type L T
var x L var x L
@ -232,11 +232,11 @@ func _[A Adder[A], B Adder[B], C Adder[A]]() {
// The type of variables (incl. parameters and return values) cannot // The type of variables (incl. parameters and return values) cannot
// be an interface with type constraints or be/embed comparable. // be an interface with type constraints or be/embed comparable.
type I interface { type I interface {
type int ~int
} }
var ( var (
_ interface /* ERROR contains type constraints */ {type int} _ interface /* ERROR contains type constraints */ {~int}
_ I /* ERROR contains type constraints */ _ I /* ERROR contains type constraints */
) )
@ -267,7 +267,7 @@ func _() {
// (If a type list contains just a single const type, we could // (If a type list contains just a single const type, we could
// allow it, but such type lists don't make much sense in the // allow it, but such type lists don't make much sense in the
// first place.) // first place.)
func _[T interface { type int, float64 }]() { func _[T interface{~int|~float64}]() {
// not valid // not valid
const _ = T /* ERROR not constant */ (0) const _ = T /* ERROR not constant */ (0)
const _ T /* ERROR invalid constant type T */ = 1 const _ T /* ERROR invalid constant type T */ = 1