[Issue 15660] break "immutable" with pure function and mutable reference params

[via Digitalmars-d-bugs]

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

--- Comment #4 from Steven Schveighoffer <schveiguy at yahoo.com> ---
(In reply to Iakh from comment #3)
> (In reply to Steven Schveighoffer from comment #2)
> Even this works:
> import std.stdio;
> 
> int[] f(void[] a) @safe pure
> {
>     return cast(int[])a;
> }

In this case, you are using a cast. The compiler pretty much gives up trying to
ensure anything when you cast, so I think it's OK to allow that.

Although, I thought such a cast wouldn't work in @safe code.

--