1// errorcheck
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
7package main
8
9func main() {
10	type Slice []byte;
11	a := [...]byte{ 0 };
12	b := Slice(a[0:]);	// This should be OK.
13	c := Slice(a);		// ERROR "invalid|illegal|cannot"
14	_, _ = b, c;
15}
16