[libcxx-commits] [clang] [libcxx] [Clang] Implement CWG2369 "Ordering between constraints and substitution" (PR #102857)

[Younan Zhang via libcxx-commits]

================
@@ -13051,11 +13051,14 @@ class Sema final : public SemaBase {
   /// instantiation arguments.
   ///
   /// \param DC In the event we don't HAVE a declaration yet, we instead provide
-  ///  the decl context where it will be created.  In this case, the `Innermost`
-  ///  should likely be provided.  If ND is non-null, this is ignored.
+  ///  the decl context where it will be created.  In this case, the \p
+  ///  Innermost should likely be provided.  If \p ND is non-null and \p
----------------
zyn0217 wrote:

That is what it used to be :)

I think `getTemplateInstantiationArgs()` has supported a case where `DC` is non-null (and Innermost is optionally provided), and we start from the DC to collect associated template arguments.

https://github.com/llvm/llvm-project/pull/102857