Containers

[deadalnix]

On Wednesday, 1 September 2021 at 11:57:01 UTC, Paul Backus wrote:
> With the implicit `opCast`/constructor approach (or the 
> `opHeadMutable` approach), the compiler doesn't have to 
> understand the relationships. It just needs to know the 
> original type and the desired type, and call the appropriate 
> user-defined function to perform the conversion.

It still wouldn't work when manipulating things by reference.

In fact, the litmus test for a solution to that problem should 
be: can we reproduce the behavior of builtin types such as T* or 
T[] with it?