/* ERRORS: const is the default for data definitions */
const int ga;
const (int a, int b) gb;
const enum(yes, no) gc_;
const int enum(yes, no) gd;
int const^ ge;

() f1() {
    /* ERRORS: const is also the default for local data definitions */
    const int la;
    const (int a, int b) lb;
    const enum(yes, no) lc;
    const int enum(yes, no) ld;
    int const^ le;
    
    shared int x; // ERROR who else can modify x if it's not mutable?
}

/* ERRORS: function parameters are always const and can't have qualifiers */
(const int z) f2() {}
() f3(const int x) {}
() f4(int x, int const^ y) {}
(var int z) f5() {}
() f6(shared int x) {}

/* ERRORS: multiple "var" qualifiers on nested types make no sense */
var (var int xx) nested;