en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/AST/constraints-explicit-instantiation.cpp#5aeaabf3 [Concepts] Check constraints for explicit template instantiationsThe standard requires[0] member function constraints to be checked whenexplicitly instantiating classes. This patch adds this constraintscheck.This issue is tracked as #46029 [1].Note that there's an related open CWG issue (2421[2]) about what to do whenmultiple candidates have satisfied constraints. This is particularly anissue because mangling doesn't contain function constraints, and so thefollowing code still ICEs with definition with same mangled name'_ZN1BIiE1fEv' as another definition:template<class T>struct B { int f() requires std::same_as<T, int> { return 0; } int f() requires (std::same_as<T, int> && !std::same_as<T, char>) { return 1; }};template struct B<int>;Also note that the constraints checking while instantiating *functions*is still not implemented. I started looking at it but It's a bit morecomplicated. I believe in such a case we have to consider the partialconstraints order and potentially choose the best candidate out of theset of multiple valid ones.[0]: https://eel.is/c++draft/temp.explicit#10[1]: https://github.com/llvm/llvm-project/issues/46029[2]: https://cplusplus.github.io/CWG/issues/2421.htmlDifferential Revision: https://reviews.llvm.org/D120255 List of files: /llvm-project-15.0.7/clang/test/AST/constraints-explicit-instantiation.cpp Thu, 03 Mar 2022 14:17:07 +0000 Roy Jacobson <roi.jacobson1@gmail.com>