https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90546
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |wrong-code Status|UNCONFIRMED |NEW Last reconfirmed| |2019-05-21 Known to work| |8.3.0 Target Milestone|--- |9.2 Summary|[9.1 regression] Incorrect |[9/10 Regression] Incorrect |template argument deduction |template argument deduction |for conversion functions |for conversion functions Ever confirmed|0 |1 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed change in behavior - different operators are instantiated. As you say a DR might be in order? I guess one could craft a testcase that either is rejected after the behavioral change or at least fails to link?