On 05/01/2014 12:48 AM, deadalnix wrote:
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
Well, actually, just check whether there is a field that would need to
change type, of the exact type of some parameter. If so, try to do the
second thing for that parameter, otherwise try to do the first.
