[Issue 14251] synchronized (mtx) doesn't check attributes (pure, const)

[via Digitalmars-d-bugs]

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

Johan Engelen <jbc.enge...@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jbc.enge...@gmail.com

--- Comment #1 from Johan Engelen <jbc.enge...@gmail.com> ---
Another effect of the missing semantic on _d_monitorenter/exit is that this
code compiles while I think it shouldn't (_d_monitorenter/exit will write to
klass.__monitor):

void foo() {
    immutable Klass klass = new Klass;
    synchronized (klass)
    {
        // do smth
    }
}

--