test/assign1.go

   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 }