[Issue 10758] Unsound type checking for inout.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10758


timon.gehr at gmx.ch changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


--- Comment #3 from timon.gehr at gmx.ch 2013-08-19 03:06:54 PDT ---
The patch misses to take into consideration inout member functions. Eg. the
following function still manages to unsafely coerce its argument to mutable:

int* foo(inout(int)* x)@safe{
    struct S{ inout(int)* screwUp()inout{ return x; } }
    return S().screwUp();
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------