Inout unclearness

[Kagamin via Digitalmars-d]

On Tuesday, 21 July 2015 at 00:07:11 UTC, Max Klimov wrote:
> I'm wondering why it is needed to have special casting rules 
> and other restrictions for inout if people should treat inout 
> as wildcard for mutable, immutable and const.

It's unclear how to check that people did what they should.

> Is it possible just to check validity of an inout(T) function 
> for T, const(T) and immutable(T) and then, if success, generate 
> the code?

So you have 4 different codes, which will you pick as the result?