Re: Two cases showing imperfection of the const system

[James Miller]

> The first problem is trivial, solving the second one in a type safe way
> would require adding parametric polymorphism to D. (Which I'd love to have!)
>

Can't you emulate type-safe parametric polymorphism with template constraints?