diff options
author | Keith Randall <khr@golang.org> | 2021-08-03 08:10:17 -0700 |
---|---|---|
committer | Keith Randall <khr@golang.org> | 2021-08-09 18:41:45 +0000 |
commit | ca3c6985cd143f170699d22ed984b7eed0f68e4d (patch) | |
tree | 6787bfb8efffc4757a2d0b0b3aa66094279bce97 /test/typeparam/typeswitch4.go | |
parent | 57668b84ff43b15746a25e9653c278d174ea483f (diff) | |
download | go-ca3c6985cd143f170699d22ed984b7eed0f68e4d.tar.gz go-ca3c6985cd143f170699d22ed984b7eed0f68e4d.zip |
[dev.typeparams] cmd/compile: implement generic type switches
Add a new dynamicType node, which is used as a case entry when
the type being switched to is generic.
Change-Id: Ice77c6f224b8fdd3ff574fdf4a8ea5f6c7ddbe75
Reviewed-on: https://go-review.googlesource.com/c/go/+/339429
Trust: Keith Randall <khr@golang.org>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
Diffstat (limited to 'test/typeparam/typeswitch4.go')
-rw-r--r-- | test/typeparam/typeswitch4.go | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/typeparam/typeswitch4.go b/test/typeparam/typeswitch4.go new file mode 100644 index 0000000000..6113026b65 --- /dev/null +++ b/test/typeparam/typeswitch4.go @@ -0,0 +1,33 @@ +// 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. + +package main + +type I interface { foo() int } + +type myint int + +func (x myint) foo() int {return int(x)} + +type myfloat float64 +func (x myfloat) foo() int {return int(x)} + +type myint32 int32 +func (x myint32) foo() int { return int(x) } + +func f[T I](i I) { + switch x := i.(type) { + case T, myint32: + println("T/myint32", x.foo()) + default: + println("other", x.foo()) + } +} +func main() { + f[myfloat](myint(6)) + f[myfloat](myfloat(7)) + f[myfloat](myint32(8)) +} |