diff options
author | Matthew Dempsky <mdempsky@google.com> | 2022-08-01 13:23:36 -0700 |
---|---|---|
committer | Gopher Robot <gobot@golang.org> | 2022-08-01 20:44:41 +0000 |
commit | f2a9f3e2e0ce7e582d226ad9a41d3c36b146fc25 (patch) | |
tree | b5338092330b23acc83b1ff1ce07554d85129fbd | |
parent | 27038b70f860e29fdf472ac5fb208b6ad9598c10 (diff) | |
download | go-f2a9f3e2e0ce7e582d226ad9a41d3c36b146fc25.tar.gz go-f2a9f3e2e0ce7e582d226ad9a41d3c36b146fc25.zip |
test: improve generic type assertion test
The test added in CL 420394 only tested that the type assertions
compiled at all. This CL changes it into a run test to make sure the
type assertions compile and also run correctly.
Updates #54135.
Change-Id: Id17469faad1bb55ff79b0bb4163ef50179330033
Reviewed-on: https://go-review.googlesource.com/c/go/+/420421
Run-TryBot: Matthew Dempsky <mdempsky@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Auto-Submit: Matthew Dempsky <mdempsky@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
-rw-r--r-- | test/typeparam/issue54135.go | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/typeparam/issue54135.go b/test/typeparam/issue54135.go index dffef60d0d..b489a51416 100644 --- a/test/typeparam/issue54135.go +++ b/test/typeparam/issue54135.go @@ -1,4 +1,4 @@ -// compile +// run // Copyright 2022 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style @@ -19,8 +19,12 @@ type Baz interface { } func check[T comparable](p Bar[T]) { - _, _ = p.(any) - _, _ = p.(Baz) + if x, ok := p.(any); !ok || x != p { + panic("FAIL") + } + if _, ok := p.(Baz); ok { + panic("FAIL") + } } func main() { |