Comment #0 by verylonglogin.reg — 2012-11-08T05:07:36Z
The problem is `S s = <qualifier> S(<args>);` always allowed even if `<qualifier> S` isn't implicitly convertible to `S`:
---
struct S
{ int* p; }
void main()
{
immutable int* p;
S s = immutable S(p);
assert(s.p is p);
*s.p = 1;
}
---