ychen added inline comments.

================
Comment at: clang/lib/Sema/SemaTemplateDeduction.cpp:5183
   if (!Better1 && !Better2) // Neither is better than the other
-    return JudgeByConstraints();
+    return nullptr;
+
----------------
royjacobson wrote:
> Previously we continued to check by constraints, now we directly return 
> `nullptr`, doesn't this mean we don't perform constraints checks that we've 
> done before? Or was it a bug?
I think this was a bug. By https://eel.is/c++draft/temp.func.order#6, the 
constraints check is performed only when `Better1 && Better2`.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D128750/new/

https://reviews.llvm.org/D128750

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to