https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12672
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Ivan Godard from comment #11) > IANALL, but the portions of the standard cited by Jonathan all refer to > argument evaluation, Maybe you're confusing template arguments with function arguments? Template argument deduction is not limited to the function arguments.