...if(is(const(T)[] : const(U)[])

That would also makes it clear *why* you specifically...

...be a simple question.

As such, I would propose that we add something to __traits...

...use the property like a function, which would allow us to have @property functions which...

...hierarchy based instead of implicit conversions.

I would need to double check it, but ok...

...instance, since struct inheritance would _not_ involve an implicit conversion, how would you test for...

...it would effectively be turned on and couldn't be opt-out, and would be...

...that what Walter proposed would involve _zero_ conversions. So, there would be no casting to...

The types would be completely independent from one another. It would just be a way...

...The 'Assign' case would be a compile error, and once removed it would yield:

```
MethB...

...exactly the function signatures would look like and whether a variable would actually be created...