I do not agree, that a compiler that allows a programmer to misuse a type, should be seen as 'a feature'.If that's the kind of 'power' D programmers want, then D is not for me.
Eh, I don't think I would _quit_ D because of this issue, but it's definitely something that bothers me (more so the lack of an ecosystem) especially since I come from a .NET/JVM background. I'm pretty shocked this isn't a feature tbh.