aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/def_quals.bad
blob: 8f5809f1153af104396c7170b036f9a1e508b8e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// XXX error checking is not even implemented for the "var" qualifier
typedef A = (
    shared (
        shared int xx, // ERROR duplicate qualifier
        mine int yy
    ) x,
    mine int y
);
typedef B = mine int; // ERROR (?) "mine" is the default

var var int a; // ERROR duplicate qualifier
const int b;     // ERROR "const" is the default
mine int a;    // ERROR "mine" is the default"


() test()
{
    /* ERRORS */
    const int ca;
    int const^ cb;
    const int^ cc;
    
    /* ERRORS */
    mine int ma;
    int mine^ mb;
    mine int^ mc;
}