compiler/tests/verifier/expr_typeident.bad


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


namespace A {

    typedef here = (
        int x,
        int y,
    );
    
}


() test()
{
    /* ERRORS */
    A a = :nonexistent();
    A b = :a();
    A c = :x; // it makes no sense to access struct members like this
    (any^ x)^ d = :x;
    bool e = :1;
    bool f = :"x";
    bool g = ::;
    bool b = :false:;
    X[int]^ h = 3-:something;
}