[Issue 13589] [git-head] Asm statement could be assumed to nothrow, safe, pure by the enclosing function attribute

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13589

--- Comment #12 from Martin Nowak <c...@dawg.eu> ---
The basic problem with this is using inference on something that cannot be
inferred.

void seeminglyPure() {
// ...
// many lines of code
// ...
    asm {
        // impure instruction
    }
}

Now when someone adds pure to seeminglyPure it would silently break.

--