| // 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{}) | |
| } |