| // https://issues.dlang.org/show_bug.cgi?id=22865 |
| |
| // Test that safety errors inside speculative scopes don't affect attribute inference |
| |
| void main() @safe |
| { |
| foo(); |
| } |
| |
| __gshared int g; |
| |
| auto foo() |
| { |
| alias x0 = typeof(g++); |
| alias x1 = typeof(cast(int*) 0); |
| |
| auto x2 = __traits(compiles, g++); |
| enum x3 = __traits(compiles, (cast(int*) 0)); |
| |
| debug |
| { |
| g++; |
| const x4 = cast(int*) 0; |
| asm { } |
| } |
| } |
| |
| // Test that safety violations still occur if the function is inside the __traits(compiles) |
| |
| static assert(!__traits(compiles, { |
| void f() @safe |
| { |
| g++; |
| } |
| })); |
