| // 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. |
| |
| // go:build ignore |
| |
| package testdata |
| |
| type I1 interface{} |
| type I2 interface{} |
| type I3 interface{} |
| |
| func Foo[C interface{ ~chan I1 | ~chan<- I1 }](c C, j int) { |
| c <- j |
| } |
| |
| func Bar[C interface{ ~chan I2 | ~<-chan I2 }](c C) { |
| x := <-c |
| print(x) |
| } |
| |
| func Baz[C interface{ ~chan I3 | ~<-chan I3 }](c C) { |
| select { |
| case x := <-c: |
| print(x) |
| default: |
| } |
| } |
| |
| // WANT: |
| // Local(t0) -> Channel(chan testdata.I1) |
| // Channel(chan testdata.I2) -> Local(t0) |
| // Channel(chan testdata.I3) -> Local(t0[2]) |
