diff options
| author | Dan Scales <danscales@google.com> | 2021-07-18 22:10:13 -0700 |
|---|---|---|
| committer | Dan Scales <danscales@google.com> | 2021-07-21 21:30:48 +0000 |
| commit | dcc8350ad304714824cc8e5b8a00105dabb61c54 (patch) | |
| tree | 7e0dbb89d24802a992160c7c3ffafecece5f266c /test/typeparam | |
| parent | f19e49e7b185472b8ff919285e740cc198596497 (diff) | |
| download | go-dcc8350ad304714824cc8e5b8a00105dabb61c54.tar.gz go-dcc8350ad304714824cc8e5b8a00105dabb61c54.zip | |
[dev.typeparams] cmd/compile: handle ++/-- in noder2 for operands with generic type
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>
Diffstat (limited to 'test/typeparam')
| -rw-r--r-- | test/typeparam/issue47258.go | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/typeparam/issue47258.go b/test/typeparam/issue47258.go new file mode 100644 index 0000000000..76629f7424 --- /dev/null +++ b/test/typeparam/issue47258.go @@ -0,0 +1,32 @@ +// 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)) + } +} |