Is-a relationship between types means this type of thing:

class Human { }

class Baby : Human...

The idea that situation with alias this and arrays is functionally different is simply defeacted...

My implicit cast operator syntax is not redundant because it's not the same thing...

Your implicit syntax is redundant. What C++ does is irrelevant. D has alias this.

import...

Let me clarify that arguably silly looking syntax. The @implicit opCast operator simply means that...

Do you mean that if D had the C++ style implicit conversion operator (using let...

...tied to any type and usual implicit conversions are applied.

Style in which you are...

No I didn't.

Yes I understand this perfectly. No problem. This works exactly like...

...a contradiction ("at the same time implicit conversions and type deduction"), dmd issues error. But...

...attempt combinatorially at the same time implicit conversions and type deduction is a dicey proposition...