https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90546
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Jason Merrill <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:1c7061c7c352e086b64a60b91e5204f9757bfa97 commit r9-8186-g1c7061c7c352e086b64a60b91e5204f9757bfa97 Author: Jason Merrill <ja...@redhat.com> Date: Tue Jan 28 12:26:10 2020 -0500 c++: Allow template rvalue-ref conv to bind to lvalue ref. When I implemented the [over.match.ref] rule that a reference conversion function needs to match l/rvalue of the target reference type it changed our handling of this testcase. It seems to me that our current behavior is what the standard says, but it doesn't seem desirable, and all the other compilers have our old behavior. So let's limit the change to non-templates until there's some clarification from the committee. PR c++/90546 * call.c (build_user_type_conversion_1): Allow a template conversion returning an rvalue reference to bind directly to an lvalue.