Russ Cox | 0b477ef | 2012-02-16 23:48:57 -0500 | [diff] [blame] | 1 | // errorcheck |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 2 | |
| 3 | // Copyright 2009 The Go Authors. All rights reserved. |
| 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file. |
| 6 | |
Rob Pike | fc0dc04 | 2012-02-19 13:19:43 +1100 | [diff] [blame] | 7 | // Verify allowed and disallowed conversions. |
| 8 | // Does not compile. |
| 9 | |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 10 | package main |
| 11 | |
| 12 | // everything here is legal except the ERROR line |
| 13 | |
| 14 | var c chan int |
| 15 | var d1 chan<- int = c |
| 16 | var d2 = (chan<- int)(c) |
| 17 | |
| 18 | var e *[4]int |
Ian Lance Taylor | 5309fae | 2010-08-31 07:34:01 -0700 | [diff] [blame] | 19 | var f1 []int = e[0:] |
| 20 | var f2 = []int(e[0:]) |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 21 | |
| 22 | var g = []int(nil) |
| 23 | |
Russ Cox | 565b5dc | 2010-06-08 18:50:02 -0700 | [diff] [blame] | 24 | type H []int |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 25 | type J []int |
Russ Cox | 565b5dc | 2010-06-08 18:50:02 -0700 | [diff] [blame] | 26 | |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 27 | var h H |
Russ Cox | 565b5dc | 2010-06-08 18:50:02 -0700 | [diff] [blame] | 28 | var j1 J = h // ERROR "compat|illegal|cannot" |
Russ Cox | 81be915 | 2009-06-19 14:00:39 -0700 | [diff] [blame] | 29 | var j2 = J(h) |