[Issue 10758] Unsound type checking for inout.

[d-bugmail at puremagic.com]

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



--- Comment #4 from Kenji Hara <k.hara.pg at gmail.com> 2013-08-20 19:42:48 PDT ---
(In reply to comment #3)
> 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();
> }

https://github.com/D-Programming-Language/dmd/pull/2487

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