[PATCH] D138210: [clang] Require parameter pack to be last argument in concepts.

[Ilya Biryukov via Phabricator via cfe-commits]

ilya-biryukov added a comment.

Thanks for the explanation. LGTM! And thanks for adding an assert.

It's interesting that recovery for classes seems <https://gcc.godbolt.org/z/z3YzKPsaT> to be a bit better here:

  template <class ...T, class ...U> struct invalid {};
  int a = invalid<int>(10); // there is no error: undefined identified 'invalid' 

but I suspect chasing the improvements there is out of scope for this particular GH issue. Maybe worth adding a FIXME/filing a GH issue for improving this in the future.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138210