Hi,
I found that in D for some reason it is possible to declare the assembly inline as @safe, this honestly seems crazy to me... The compiler can't do any checks on the assembly code to ensure it's @safe and it's certainly up to the developer to check it but D is @trusted to do this.
void main() @safe {
asm @safe {
mov [RIP], 0;
}
}
This code simply compiles and of course then you get SIGSEGV when you run it..
I believe inline assembly should only be allowed @system and @trusted, and under no circumstances should it allowed be @safe