On Friday, 11 March 2016 at 13:28:22 UTC, Hara Kenji wrote:
I think that T should be deduced to the typeof(true ? cs : ms) at line [a] and typeof(true ? ms : cs) at line [b], then the two lines will get consistent deduction result T == const(S).

I also thought it should deduce T == const(S), and was surprised 2.068.2 deduced it without const.

Reply via email to