mirror of
https://github.com/golang/go
synced 2024-11-15 10:20:40 -07:00
2e46a0a997
Both the thing we're switching on, as well as the cases we're switching for.
Convert anything containing a type parameter to interface{} before the
comparison happens.
Fixes #51522
Change-Id: I97ba9429ed332cb7d4240cb60f46d42226dcfa5f
Reviewed-on: https://go-review.googlesource.com/c/go/+/391594
Trust: Keith Randall <khr@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
63 lines
730 B
Go
63 lines
730 B
Go
// run
|
|
|
|
// Copyright 2022 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 comparable](i any) {
|
|
var t T
|
|
|
|
switch i {
|
|
case t:
|
|
// ok
|
|
default:
|
|
println("FAIL: switch i")
|
|
}
|
|
|
|
switch t {
|
|
case i:
|
|
// ok
|
|
default:
|
|
println("FAIL: switch t")
|
|
}
|
|
}
|
|
|
|
type myint int
|
|
|
|
func (m myint) foo() {
|
|
}
|
|
|
|
type fooer interface {
|
|
foo()
|
|
}
|
|
|
|
type comparableFoo interface {
|
|
comparable
|
|
foo()
|
|
}
|
|
|
|
func g[T comparableFoo](i fooer) {
|
|
var t T
|
|
|
|
switch i {
|
|
case t:
|
|
// ok
|
|
default:
|
|
println("FAIL: switch i")
|
|
}
|
|
|
|
switch t {
|
|
case i:
|
|
// ok
|
|
default:
|
|
println("FAIL: switch t")
|
|
}
|
|
}
|
|
|
|
func main() {
|
|
f[int](0)
|
|
g[myint](myint(0))
|
|
}
|