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?
