[PATCH] D120255: [Concepts] Check constraints for explicit template instantiations

[Erich Keane via Phabricator via cfe-commits]

erichkeane added a comment.

Hmm... doing FileCheck in a Sema test is highly irregular.  I would expect us to be able to test this in the type system in some way.  Something like `A<3>::f()` is invalid (see -verify).

Also, please add all the context (as requested above!) with the -U9999 stuff.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D120255