mirror of
https://github.com/golang/go
synced 2024-11-25 07:27:57 -07:00
711552e98a
Change-Id: I03ba70076d6dd3c0b9624d14699b7dd91a3c0e9b Reviewed-on: https://go-review.googlesource.com/c/go/+/618476 Reviewed-by: Keith Randall <khr@golang.org> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com> Reviewed-by: Cherry Mui <cherryyz@google.com> Reviewed-by: Keith Randall <khr@google.com> Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com>
68 lines
1.0 KiB
Go
68 lines
1.0 KiB
Go
// asmcheck
|
|
|
|
// Copyright 2024 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 codegen
|
|
|
|
type Ix interface {
|
|
X()
|
|
}
|
|
|
|
type Iy interface {
|
|
Y()
|
|
}
|
|
|
|
type Iz interface {
|
|
Z()
|
|
}
|
|
|
|
func swXYZ(a Ix) {
|
|
switch t := a.(type) {
|
|
case Iy: // amd64:-".*typeAssert"
|
|
t.Y()
|
|
case Iz: // amd64:-".*typeAssert"
|
|
t.Z()
|
|
}
|
|
}
|
|
|
|
type Ig[T any] interface {
|
|
G() T
|
|
}
|
|
|
|
func swGYZ[T any](a Ig[T]) {
|
|
switch t := a.(type) {
|
|
case Iy: // amd64:-".*typeAssert"
|
|
t.Y()
|
|
case Iz: // amd64:-".*typeAssert"
|
|
t.Z()
|
|
case interface{ G() T }: // amd64:-".*typeAssert",-".*assertE2I\\(",".*assertE2I2"
|
|
t.G()
|
|
}
|
|
}
|
|
|
|
func swE2G[T any](a any) {
|
|
switch t := a.(type) {
|
|
case Iy:
|
|
t.Y()
|
|
case Ig[T]: // amd64:-".*assertE2I\\(",".*assertE2I2"
|
|
t.G()
|
|
}
|
|
}
|
|
|
|
func swI2G[T any](a Ix) {
|
|
switch t := a.(type) {
|
|
case Iy:
|
|
t.Y()
|
|
case Ig[T]: // amd64:-".*assertE2I\\(",".*assertE2I2"
|
|
t.G()
|
|
}
|
|
}
|
|
|
|
func swCaller() {
|
|
swGYZ[int]((Ig[int])(nil))
|
|
swE2G[int]((Ig[int])(nil))
|
|
swI2G[int]((Ix)(nil))
|
|
}
|