aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/constexpr_reuse.good
blob: 4b94cd27f0aea3e9422a3741e97279d9a3877ae5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// With constexpr, it is possible to have the same expression
// in multiple places. Each usage of the expression must be able
// to have a different type.
int i = b?;  // XXX this is a bug. should not be allowed!
int j = i;
byte? b = makeopt 1+1;
int z = b?;

() f() {
    byte? bb = makeopt 1+1;
    int ii = bb?;
}

/*
int? i = b;  // XXX this is a bug. should not be allowed!
int? ii = b; // XXX this is a bug. should not be allowed!
*/