[Bug c++/12672] Evals template defaults args that it should not

[igodard at pacbell dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672

--- Comment #11 from Ivan Godard <igodard at pacbell dot net> ---
OP here; better late than never :-)

IANALL, but the portions of the standard cited by Jonathan all refer to
argument evaluation, while the problem here is in the result type. Why is the
result even being considered before argument evaluation and identification is
completed?