Dan Willemsen | d279748 | 2017-07-26 13:13:13 -0700 | [diff] [blame] | 1 | // errorcheck |
| 2 | |
| 3 | // Copyright 2017 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 | |
| 7 | // Verify that append arguments requirements are enforced by the |
| 8 | // compiler. |
| 9 | |
| 10 | package main |
| 11 | |
| 12 | func main() { |
| 13 | |
| 14 | s := make([]int, 8) |
| 15 | |
| 16 | _ = append() // ERROR "missing arguments to append" |
| 17 | _ = append(s...) // ERROR "cannot use ... on first argument" |
| 18 | _ = append(s, 2, s...) // ERROR "too many arguments to append" |
| 19 | |
Dan Willemsen | c741332 | 2018-08-27 23:21:26 -0700 | [diff] [blame] | 20 | _ = append(s, make([]int, 0)) // ERROR "cannot use make.* as type int in append" |
| 21 | _ = append(s, make([]int, -1)...) // ERROR "negative len argument in make" |
Dan Willemsen | d279748 | 2017-07-26 13:13:13 -0700 | [diff] [blame] | 22 | } |