On Saturday, 10 February 2018 at 01:24:55 UTC, Timon Gehr wrote: > The fundamental issue is that D's type system has no parametric > polymorphism, Pardon my ignorance, but isn't that what D's templated functions do? This sounds interesting but unclear exactly what you mean here and how it relates to inout and its problems.