From 43a123c1ae6613b3efeed291fa552ecd909d3acf Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:23:18 +0200 Subject: Adding upstream version 1.20.14. Signed-off-by: Daniel Baumann --- test/assign1.go | 346 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 346 insertions(+) create mode 100644 test/assign1.go (limited to 'test/assign1.go') diff --git a/test/assign1.go b/test/assign1.go new file mode 100644 index 0000000..b9e0325 --- /dev/null +++ b/test/assign1.go @@ -0,0 +1,346 @@ +// 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 assignment rules are enforced by the compiler. +// Does not compile. + +package main + +type ( + A [10]int + B []int + C chan int + F func() int + I interface { + m() int + } + M map[int]int + P *int + S struct { + X int + } + + A1 [10]int + B1 []int + C1 chan int + F1 func() int + I1 interface { + m() int + } + M1 map[int]int + P1 *int + S1 struct { + X int + } +) + +var ( + a0 [10]int + b0 []int + c0 chan int + f0 func() int + i0 interface { + m() int + } + m0 map[int]int + p0 *int + s0 struct { + X int + } + + a A + b B + c C + f F + i I + m M + p P + s S + + a1 A1 + b1 B1 + c1 C1 + f1 F1 + i1 I1 + m1 M1 + p1 P1 + s1 S1 + + pa0 *[10]int + pb0 *[]int + pc0 *chan int + pf0 *func() int + pi0 *interface { + m() int + } + pm0 *map[int]int + pp0 **int + ps0 *struct { + X int + } + + pa *A + pb *B + pc *C + pf *F + pi *I + pm *M + pp *P + ps *S + + pa1 *A1 + pb1 *B1 + pc1 *C1 + pf1 *F1 + pi1 *I1 + pm1 *M1 + pp1 *P1 + ps1 *S1 +) + +func main() { + a0 = a + a0 = a1 + a = a0 + a = a1 // ERROR "cannot use" + a1 = a0 + a1 = a // ERROR "cannot use" + + b0 = b + b0 = b1 + b = b0 + b = b1 // ERROR "cannot use" + b1 = b0 + b1 = b // ERROR "cannot use" + + c0 = c + c0 = c1 + c = c0 + c = c1 // ERROR "cannot use" + c1 = c0 + c1 = c // ERROR "cannot use" + + f0 = f + f0 = f1 + f = f0 + f = f1 // ERROR "cannot use" + f1 = f0 + f1 = f // ERROR "cannot use" + + i0 = i + i0 = i1 + i = i0 + i = i1 + i1 = i0 + i1 = i + + m0 = m + m0 = m1 + m = m0 + m = m1 // ERROR "cannot use" + m1 = m0 + m1 = m // ERROR "cannot use" + + p0 = p + p0 = p1 + p = p0 + p = p1 // ERROR "cannot use" + p1 = p0 + p1 = p // ERROR "cannot use" + + s0 = s + s0 = s1 + s = s0 + s = s1 // ERROR "cannot use" + s1 = s0 + s1 = s // ERROR "cannot use" + + pa0 = pa // ERROR "cannot use|incompatible" + pa0 = pa1 // ERROR "cannot use|incompatible" + pa = pa0 // ERROR "cannot use|incompatible" + pa = pa1 // ERROR "cannot use|incompatible" + pa1 = pa0 // ERROR "cannot use|incompatible" + pa1 = pa // ERROR "cannot use|incompatible" + + pb0 = pb // ERROR "cannot use|incompatible" + pb0 = pb1 // ERROR "cannot use|incompatible" + pb = pb0 // ERROR "cannot use|incompatible" + pb = pb1 // ERROR "cannot use|incompatible" + pb1 = pb0 // ERROR "cannot use|incompatible" + pb1 = pb // ERROR "cannot use|incompatible" + + pc0 = pc // ERROR "cannot use|incompatible" + pc0 = pc1 // ERROR "cannot use|incompatible" + pc = pc0 // ERROR "cannot use|incompatible" + pc = pc1 // ERROR "cannot use|incompatible" + pc1 = pc0 // ERROR "cannot use|incompatible" + pc1 = pc // ERROR "cannot use|incompatible" + + pf0 = pf // ERROR "cannot use|incompatible" + pf0 = pf1 // ERROR "cannot use|incompatible" + pf = pf0 // ERROR "cannot use|incompatible" + pf = pf1 // ERROR "cannot use|incompatible" + pf1 = pf0 // ERROR "cannot use|incompatible" + pf1 = pf // ERROR "cannot use|incompatible" + + pi0 = pi // ERROR "cannot use|incompatible" + pi0 = pi1 // ERROR "cannot use|incompatible" + pi = pi0 // ERROR "cannot use|incompatible" + pi = pi1 // ERROR "cannot use|incompatible" + pi1 = pi0 // ERROR "cannot use|incompatible" + pi1 = pi // ERROR "cannot use|incompatible" + + pm0 = pm // ERROR "cannot use|incompatible" + pm0 = pm1 // ERROR "cannot use|incompatible" + pm = pm0 // ERROR "cannot use|incompatible" + pm = pm1 // ERROR "cannot use|incompatible" + pm1 = pm0 // ERROR "cannot use|incompatible" + pm1 = pm // ERROR "cannot use|incompatible" + + pp0 = pp // ERROR "cannot use|incompatible" + pp0 = pp1 // ERROR "cannot use|incompatible" + pp = pp0 // ERROR "cannot use|incompatible" + pp = pp1 // ERROR "cannot use|incompatible" + pp1 = pp0 // ERROR "cannot use|incompatible" + pp1 = pp // ERROR "cannot use|incompatible" + + ps0 = ps // ERROR "cannot use|incompatible" + ps0 = ps1 // ERROR "cannot use|incompatible" + ps = ps0 // ERROR "cannot use|incompatible" + ps = ps1 // ERROR "cannot use|incompatible" + ps1 = ps0 // ERROR "cannot use|incompatible" + ps1 = ps // ERROR "cannot use|incompatible" + + + a0 = [10]int(a) + a0 = [10]int(a1) + a = A(a0) + a = A(a1) + a1 = A1(a0) + a1 = A1(a) + + b0 = []int(b) + b0 = []int(b1) + b = B(b0) + b = B(b1) + b1 = B1(b0) + b1 = B1(b) + + c0 = chan int(c) + c0 = chan int(c1) + c = C(c0) + c = C(c1) + c1 = C1(c0) + c1 = C1(c) + + f0 = func() int(f) + f0 = func() int(f1) + f = F(f0) + f = F(f1) + f1 = F1(f0) + f1 = F1(f) + + i0 = interface { + m() int + }(i) + i0 = interface { + m() int + }(i1) + i = I(i0) + i = I(i1) + i1 = I1(i0) + i1 = I1(i) + + m0 = map[int]int(m) + m0 = map[int]int(m1) + m = M(m0) + m = M(m1) + m1 = M1(m0) + m1 = M1(m) + + p0 = (*int)(p) + p0 = (*int)(p1) + p = P(p0) + p = P(p1) + p1 = P1(p0) + p1 = P1(p) + + s0 = struct { + X int + }(s) + s0 = struct { + X int + }(s1) + s = S(s0) + s = S(s1) + s1 = S1(s0) + s1 = S1(s) + + pa0 = (*[10]int)(pa) + pa0 = (*[10]int)(pa1) + pa = (*A)(pa0) + pa = (*A)(pa1) + pa1 = (*A1)(pa0) + pa1 = (*A1)(pa) + + pb0 = (*[]int)(pb) + pb0 = (*[]int)(pb1) + pb = (*B)(pb0) + pb = (*B)(pb1) + pb1 = (*B1)(pb0) + pb1 = (*B1)(pb) + + pc0 = (*chan int)(pc) + pc0 = (*chan int)(pc1) + pc = (*C)(pc0) + pc = (*C)(pc1) + pc1 = (*C1)(pc0) + pc1 = (*C1)(pc) + + pf0 = (*func() int)(pf) + pf0 = (*func() int)(pf1) + pf = (*F)(pf0) + pf = (*F)(pf1) + pf1 = (*F1)(pf0) + pf1 = (*F1)(pf) + + pi0 = (*interface { + m() int + })(pi) + pi0 = (*interface { + m() int + })(pi1) + pi = (*I)(pi0) + pi = (*I)(pi1) + pi1 = (*I1)(pi0) + pi1 = (*I1)(pi) + + pm0 = (*map[int]int)(pm) + pm0 = (*map[int]int)(pm1) + pm = (*M)(pm0) + pm = (*M)(pm1) + pm1 = (*M1)(pm0) + pm1 = (*M1)(pm) + + pp0 = (**int)(pp) + pp0 = (**int)(pp1) + pp = (*P)(pp0) + pp = (*P)(pp1) + pp1 = (*P1)(pp0) + pp1 = (*P1)(pp) + + ps0 = (*struct { + X int + })(ps) + ps0 = (*struct { + X int + })(ps1) + ps = (*S)(ps0) + ps = (*S)(ps1) + ps1 = (*S1)(ps0) + ps1 = (*S1)(ps) + +} -- cgit v1.2.3