>
>So the question is not "do we need that" nor "do we want that", but rather "do we want to make these things classified as bad programming practices just because our new tool can't do it?".

The 'new' tool can to it - to some extent

Using it is slow and the compiler cannot be your friend any more helping you in type checking

But if you want to do it, Dragan, be my guest