http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51501 --- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> --- Ville, has EWG taken a look at this issue? I'm sorry this didn't come up in the C++14 context, as it would have made sense to fix this when we were adding deduced return types.