blob: 51da4cc7c4586b82f0121318f6ec545f01591a2c [file] [log] [blame] [edit]
// 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.
// Verify that illegal uses of indirection are caught by the compiler.
// Does not compile.
package main
var m0 map[string]int
var m1 *map[string]int
var m2 *map[string]int = &m0
var m3 map[string]int = map[string]int{"a": 1}
var m4 *map[string]int = &m3
var s0 string
var s1 *string
var s2 *string = &s0
var s3 string = "a"
var s4 *string = &s3
var a0 [10]int
var a1 *[10]int
var a2 *[10]int = &a0
var b0 []int
var b1 *[]int
var b2 *[]int = &b0
var b3 []int = []int{1, 2, 3}
var b4 *[]int = &b3
func f() {
// this is spaced funny so that
// the compiler will print a different
// line number for each len call when
// it decides there are type errors.
x :=
len(m0)+
len(m1)+ // ERROR "illegal|invalid|must be"
len(m2)+ // ERROR "illegal|invalid|must be"
len(m3)+
len(m4)+ // ERROR "illegal|invalid|must be"
len(s0)+
len(s1)+ // ERROR "illegal|invalid|must be"
len(s2)+ // ERROR "illegal|invalid|must be"
len(s3)+
len(s4)+ // ERROR "illegal|invalid|must be"
len(a0)+
len(a1)+
len(a2)+
cap(a0)+
cap(a1)+
cap(a2)+
len(b0)+
len(b1)+ // ERROR "illegal|invalid|must be"
len(b2)+ // ERROR "illegal|invalid|must be"
len(b3)+
len(b4)+ // ERROR "illegal|invalid|must be"
cap(b0)+
cap(b1)+ // ERROR "illegal|invalid|must be"
cap(b2)+ // ERROR "illegal|invalid|must be"
cap(b3)+
cap(b4) // ERROR "illegal|invalid|must be"
_ = x
}