28 May
2015
28 May
'15
5:59 p.m.
"Let C denote the type, if any, of an unevaluated conditional expression (5.16) whose first operand is an arbitrary value of type bool, whose second operand is an xvalue of type T1, and whose third operand is an xvalue of type T2."
Ah, never mind, it passes C through the unary common_type, which does the decay. A bit odd to lose the lvalue reference in such a way though.