[PATCH] D133683: [c++] implements tentative DR1432 for partial ordering of function template

Yuanfang Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 27 11:20:28 PDT 2022


ychen added a comment.

In D133683#3817523 <https://reviews.llvm.org/D133683#3817523>, @mizvekov wrote:

> - Missing release notes.

I didn't add that because this patch is logically part of D128745 <https://reviews.llvm.org/D128745> which has a release note already.

> - FWIW GCC treats the `g(42)` case as not ambiguous, as I expected, so it might be worth pointing that out with a FIXME regardless.

I think GCC is the one that is not conforming. MSVC agrees it is ambiguous (https://godbolt.org/z/T5zbxaTYq). Basically, only the first parameter is considered for partial ordering. (https://eel.is/c++draft/temp.deduct.partial#3.1)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133683



More information about the cfe-commits mailing list