On Wednesday, 30 April 2014 at 22:24:29 UTC, Timon Gehr wrote:
However, then, whether to do const(S!T) => S!(const(T)) or const(S!T) => S!(TailConst!T) should maybe be specified on a per-parameter basis, because this is in general not easy to figure out for the compiler.
That is the whole problem :D
