modernc.org/gc@v1.0.1-0.20240304020402-f0dba7c97c2b/testdata/errchk/test/assign1.go (about) 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 7 // Verify assignment rules are enforced by the compiler. 8 // Does not compile. 9 10 package main 11 12 type ( 13 A [10]int 14 B []int 15 C chan int 16 F func() int 17 I interface { 18 m() int 19 } 20 M map[int]int 21 P *int 22 S struct { 23 X int 24 } 25 26 A1 [10]int 27 B1 []int 28 C1 chan int 29 F1 func() int 30 I1 interface { 31 m() int 32 } 33 M1 map[int]int 34 P1 *int 35 S1 struct { 36 X int 37 } 38 ) 39 40 var ( 41 a0 [10]int 42 b0 []int 43 c0 chan int 44 f0 func() int 45 i0 interface { 46 m() int 47 } 48 m0 map[int]int 49 p0 *int 50 s0 struct { 51 X int 52 } 53 54 a A 55 b B 56 c C 57 f F 58 i I 59 m M 60 p P 61 s S 62 63 a1 A1 64 b1 B1 65 c1 C1 66 f1 F1 67 i1 I1 68 m1 M1 69 p1 P1 70 s1 S1 71 72 pa0 *[10]int 73 pb0 *[]int 74 pc0 *chan int 75 pf0 *func() int 76 pi0 *interface { 77 m() int 78 } 79 pm0 *map[int]int 80 pp0 **int 81 ps0 *struct { 82 X int 83 } 84 85 pa *A 86 pb *B 87 pc *C 88 pf *F 89 pi *I 90 pm *M 91 pp *P 92 ps *S 93 94 pa1 *A1 95 pb1 *B1 96 pc1 *C1 97 pf1 *F1 98 pi1 *I1 99 pm1 *M1 100 pp1 *P1 101 ps1 *S1 102 ) 103 104 func main() { 105 a0 = a 106 a0 = a1 107 a = a0 108 a = a1 // ERROR "cannot use" 109 a1 = a0 110 a1 = a // ERROR "cannot use" 111 112 b0 = b 113 b0 = b1 114 b = b0 115 b = b1 // ERROR "cannot use" 116 b1 = b0 117 b1 = b // ERROR "cannot use" 118 119 c0 = c 120 c0 = c1 121 c = c0 122 c = c1 // ERROR "cannot use" 123 c1 = c0 124 c1 = c // ERROR "cannot use" 125 126 f0 = f 127 f0 = f1 128 f = f0 129 f = f1 // ERROR "cannot use" 130 f1 = f0 131 f1 = f // ERROR "cannot use" 132 133 i0 = i 134 i0 = i1 135 i = i0 136 i = i1 137 i1 = i0 138 i1 = i 139 140 m0 = m 141 m0 = m1 142 m = m0 143 m = m1 // ERROR "cannot use" 144 m1 = m0 145 m1 = m // ERROR "cannot use" 146 147 p0 = p 148 p0 = p1 149 p = p0 150 p = p1 // ERROR "cannot use" 151 p1 = p0 152 p1 = p // ERROR "cannot use" 153 154 s0 = s 155 s0 = s1 156 s = s0 157 s = s1 // ERROR "cannot use" 158 s1 = s0 159 s1 = s // ERROR "cannot use" 160 161 pa0 = pa // ERROR "cannot use|incompatible" 162 pa0 = pa1 // ERROR "cannot use|incompatible" 163 pa = pa0 // ERROR "cannot use|incompatible" 164 pa = pa1 // ERROR "cannot use|incompatible" 165 pa1 = pa0 // ERROR "cannot use|incompatible" 166 pa1 = pa // ERROR "cannot use|incompatible" 167 168 pb0 = pb // ERROR "cannot use|incompatible" 169 pb0 = pb1 // ERROR "cannot use|incompatible" 170 pb = pb0 // ERROR "cannot use|incompatible" 171 pb = pb1 // ERROR "cannot use|incompatible" 172 pb1 = pb0 // ERROR "cannot use|incompatible" 173 pb1 = pb // ERROR "cannot use|incompatible" 174 175 pc0 = pc // ERROR "cannot use|incompatible" 176 pc0 = pc1 // ERROR "cannot use|incompatible" 177 pc = pc0 // ERROR "cannot use|incompatible" 178 pc = pc1 // ERROR "cannot use|incompatible" 179 pc1 = pc0 // ERROR "cannot use|incompatible" 180 pc1 = pc // ERROR "cannot use|incompatible" 181 182 pf0 = pf // ERROR "cannot use|incompatible" 183 pf0 = pf1 // ERROR "cannot use|incompatible" 184 pf = pf0 // ERROR "cannot use|incompatible" 185 pf = pf1 // ERROR "cannot use|incompatible" 186 pf1 = pf0 // ERROR "cannot use|incompatible" 187 pf1 = pf // ERROR "cannot use|incompatible" 188 189 pi0 = pi // ERROR "cannot use|incompatible" 190 pi0 = pi1 // ERROR "cannot use|incompatible" 191 pi = pi0 // ERROR "cannot use|incompatible" 192 pi = pi1 // ERROR "cannot use|incompatible" 193 pi1 = pi0 // ERROR "cannot use|incompatible" 194 pi1 = pi // ERROR "cannot use|incompatible" 195 196 pm0 = pm // ERROR "cannot use|incompatible" 197 pm0 = pm1 // ERROR "cannot use|incompatible" 198 pm = pm0 // ERROR "cannot use|incompatible" 199 pm = pm1 // ERROR "cannot use|incompatible" 200 pm1 = pm0 // ERROR "cannot use|incompatible" 201 pm1 = pm // ERROR "cannot use|incompatible" 202 203 pp0 = pp // ERROR "cannot use|incompatible" 204 pp0 = pp1 // ERROR "cannot use|incompatible" 205 pp = pp0 // ERROR "cannot use|incompatible" 206 pp = pp1 // ERROR "cannot use|incompatible" 207 pp1 = pp0 // ERROR "cannot use|incompatible" 208 pp1 = pp // ERROR "cannot use|incompatible" 209 210 ps0 = ps // ERROR "cannot use|incompatible" 211 ps0 = ps1 // ERROR "cannot use|incompatible" 212 ps = ps0 // ERROR "cannot use|incompatible" 213 ps = ps1 // ERROR "cannot use|incompatible" 214 ps1 = ps0 // ERROR "cannot use|incompatible" 215 ps1 = ps // ERROR "cannot use|incompatible" 216 217 218 a0 = [10]int(a) 219 a0 = [10]int(a1) 220 a = A(a0) 221 a = A(a1) 222 a1 = A1(a0) 223 a1 = A1(a) 224 225 b0 = []int(b) 226 b0 = []int(b1) 227 b = B(b0) 228 b = B(b1) 229 b1 = B1(b0) 230 b1 = B1(b) 231 232 c0 = chan int(c) 233 c0 = chan int(c1) 234 c = C(c0) 235 c = C(c1) 236 c1 = C1(c0) 237 c1 = C1(c) 238 239 f0 = func() int(f) 240 f0 = func() int(f1) 241 f = F(f0) 242 f = F(f1) 243 f1 = F1(f0) 244 f1 = F1(f) 245 246 i0 = interface { 247 m() int 248 }(i) 249 i0 = interface { 250 m() int 251 }(i1) 252 i = I(i0) 253 i = I(i1) 254 i1 = I1(i0) 255 i1 = I1(i) 256 257 m0 = map[int]int(m) 258 m0 = map[int]int(m1) 259 m = M(m0) 260 m = M(m1) 261 m1 = M1(m0) 262 m1 = M1(m) 263 264 p0 = (*int)(p) 265 p0 = (*int)(p1) 266 p = P(p0) 267 p = P(p1) 268 p1 = P1(p0) 269 p1 = P1(p) 270 271 s0 = struct { 272 X int 273 }(s) 274 s0 = struct { 275 X int 276 }(s1) 277 s = S(s0) 278 s = S(s1) 279 s1 = S1(s0) 280 s1 = S1(s) 281 282 pa0 = (*[10]int)(pa) 283 pa0 = (*[10]int)(pa1) 284 pa = (*A)(pa0) 285 pa = (*A)(pa1) 286 pa1 = (*A1)(pa0) 287 pa1 = (*A1)(pa) 288 289 pb0 = (*[]int)(pb) 290 pb0 = (*[]int)(pb1) 291 pb = (*B)(pb0) 292 pb = (*B)(pb1) 293 pb1 = (*B1)(pb0) 294 pb1 = (*B1)(pb) 295 296 pc0 = (*chan int)(pc) 297 pc0 = (*chan int)(pc1) 298 pc = (*C)(pc0) 299 pc = (*C)(pc1) 300 pc1 = (*C1)(pc0) 301 pc1 = (*C1)(pc) 302 303 pf0 = (*func() int)(pf) 304 pf0 = (*func() int)(pf1) 305 pf = (*F)(pf0) 306 pf = (*F)(pf1) 307 pf1 = (*F1)(pf0) 308 pf1 = (*F1)(pf) 309 310 pi0 = (*interface { 311 m() int 312 })(pi) 313 pi0 = (*interface { 314 m() int 315 })(pi1) 316 pi = (*I)(pi0) 317 pi = (*I)(pi1) 318 pi1 = (*I1)(pi0) 319 pi1 = (*I1)(pi) 320 321 pm0 = (*map[int]int)(pm) 322 pm0 = (*map[int]int)(pm1) 323 pm = (*M)(pm0) 324 pm = (*M)(pm1) 325 pm1 = (*M1)(pm0) 326 pm1 = (*M1)(pm) 327 328 pp0 = (**int)(pp) 329 pp0 = (**int)(pp1) 330 pp = (*P)(pp0) 331 pp = (*P)(pp1) 332 pp1 = (*P1)(pp0) 333 pp1 = (*P1)(pp) 334 335 ps0 = (*struct { 336 X int 337 })(ps) 338 ps0 = (*struct { 339 X int 340 })(ps1) 341 ps = (*S)(ps0) 342 ps = (*S)(ps1) 343 ps1 = (*S1)(ps0) 344 ps1 = (*S1)(ps) 345 346 }