[PATCH] D128750: [C++20] Implement P2113R0: Changes to the Partial Ordering of Constrained Functions

[Yuanfang Chen via Phabricator via cfe-commits]

ychen planned changes to this revision.
ychen added a comment.

In D128750#3741043 <https://reviews.llvm.org/D128750#3741043>, @ychen wrote:

> I'll land this tomorrow if no objections. Thanks.

Sorry. Before submitting, I found an unhandled case involving the constrained placeholder type. Will update the patch later.

  template <class T> concept C = True<T>;
  template <class T> concept D = C<T> && sizeof(T) > 0;
  template<C auto T> struct W;
  template<D auto T> struct W<T>;


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128750