go/test/typeparam/typeswitch7.go
Keith Randall 2fbf6aafe7 [dev.typeparams] cmd/compile: handle interface type parameters in type switches
Change-Id: I9bba21a64d7e9f42395b6fcdf8aa3ca01cf131dc
Reviewed-on: https://go-review.googlesource.com/c/go/+/340912
Trust: Keith Randall <khr@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
2021-08-10 01:56:50 +00:00

37 lines
595 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.
package main
func f[T any](i interface{foo()}) {
switch i.(type) {
case interface{bar() T}:
println("barT")
case myint:
println("myint")
case myfloat:
println("myfloat")
default:
println("other")
}
}
type myint int
func (myint) foo() {
}
func (x myint) bar() int {
return int(x)
}
type myfloat float64
func (myfloat) foo() {
}
func main() {
f[int](nil)
f[int](myint(6))
f[int](myfloat(7))
}