...following sentence:

"D strives to prevent implicit conversions between user defined types at all costs...

I did talk about implict conversions between user defined types. D does not have implict...

...is true. Implicit conversions are very useful. What D prevents are implicit conversions that can...

...was that toImpl doesn't support struct conversions.

But by rejecting all non-compiling types...

Of course implicit conversion influences type deduction. If it didn't, if implicit conversion didn...

Issue in this case is not that it happens per se (of course, it does...

Well, it doesn't really matter how it is implemented. What matters is that the...

And this is a problem, because many of such naive judgemnets are actually false.

Implementation...

Although, that's not exactly true. C++ accepts an inexact match when the instantiated parameter...

That was supposed to be:

struct DynamicArray(T)
{
    void opOpAssign(string op : "~")(T value) { }
}