mirror of
https://github.com/golang/go
synced 2024-11-17 13:54:46 -07:00
dcc8350ad3
types2 will have already proved the expression's type is compatible, so just assign the one const to have the same type as the operand. Fixes #47258. Change-Id: If0844e6bf6d0a5e6b11453b87df71353863ccc5d Reviewed-on: https://go-review.googlesource.com/c/go/+/336009 Run-TryBot: Dan Scales <danscales@google.com> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Keith Randall <khr@golang.org> Trust: Dan Scales <danscales@google.com>
33 lines
694 B
Go
33 lines
694 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
|
|
|
|
import (
|
|
"fmt"
|
|
)
|
|
|
|
type Numeric interface {
|
|
int32|int64|float64|complex64
|
|
}
|
|
|
|
//go:noline
|
|
func inc[T Numeric](x T) T {
|
|
x++
|
|
return x
|
|
}
|
|
func main() {
|
|
if got, want := inc(int32(5)), int32(6); got != want {
|
|
panic(fmt.Sprintf("got %d, want %d", got, want))
|
|
}
|
|
if got, want := inc(float64(5)), float64(6.0); got != want {
|
|
panic(fmt.Sprintf("got %d, want %d", got, want))
|
|
}
|
|
if got, want := inc(complex64(5)), complex64(6.0); got != want {
|
|
panic(fmt.Sprintf("got %d, want %d", got, want))
|
|
}
|
|
}
|