summaryrefslogtreecommitdiffstats
path: root/test/chan/perm.go
blob: 04046723a4f6fefda18911b4bb9351086177ae0f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
// errorcheck

// Copyright 2009 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.

// Test various correct and incorrect permutations of send-only,
// receive-only, and bidirectional channels.
// Does not compile.

package main

var (
	cr <-chan int
	cs chan<- int
	c  chan int
)

func main() {
	cr = c  // ok
	cs = c  // ok
	c = cr  // ERROR "illegal types|incompatible|cannot"
	c = cs  // ERROR "illegal types|incompatible|cannot"
	cr = cs // ERROR "illegal types|incompatible|cannot"
	cs = cr // ERROR "illegal types|incompatible|cannot"

	var n int
	<-n    // ERROR "receive from non-chan|expected channel"
	n <- 2 // ERROR "send to non-chan|must be channel"

	c <- 0       // ok
	<-c          // ok
	x, ok := <-c // ok
	_, _ = x, ok

	cr <- 0      // ERROR "send"
	<-cr         // ok
	x, ok = <-cr // ok
	_, _ = x, ok

	cs <- 0      // ok
	<-cs         // ERROR "receive"
	x, ok = <-cs // ERROR "receive"
	_, _ = x, ok

	select {
	case c <- 0: // ok
	case x := <-c: // ok
		_ = x

	case cr <- 0: // ERROR "send"
	case x := <-cr: // ok
		_ = x

	case cs <- 0: // ok
	case x := <-cs: // ERROR "receive"
		_ = x
	}

	for _ = range cs { // ERROR "receive"
	}

	for range cs { // ERROR "receive"
	}

	close(c)
	close(cs)
	close(cr) // ERROR "receive"
	close(n)  // ERROR "invalid operation.*non-chan type|must be channel|non-channel"
}