// RUN: llgo -o %t %s
// RUN: %t 2>&1 | FileCheck %s

// CHECK: 10
// CHECK-NEXT: 9

package main

func main() {
	var a [10]int
	b := a[1:]
	println(len(a))
	println(len(b))
}