diff options
Diffstat (limited to 'test/typeparam/issue54135.go')
-rw-r--r-- | test/typeparam/issue54135.go | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/typeparam/issue54135.go b/test/typeparam/issue54135.go new file mode 100644 index 0000000..b489a51 --- /dev/null +++ b/test/typeparam/issue54135.go @@ -0,0 +1,32 @@ +// 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 + +type Foo struct{} + +func (Foo) Blanker() {} + +type Bar[T any] interface { + Blanker() +} + +type Baz interface { + Some() +} + +func check[T comparable](p Bar[T]) { + if x, ok := p.(any); !ok || x != p { + panic("FAIL") + } + if _, ok := p.(Baz); ok { + panic("FAIL") + } +} + +func main() { + check[int](Foo{}) +} |