From 12d927afe2be60610b0e36dd2f488df027d14682 Mon Sep 17 00:00:00 2001
From: Abhinav Agarwal <abhinavagarwal1996@gmail.com>
Date: Sun, 14 Jun 2026 13:10:20 -0700
Subject: [PATCH] [temp.arg.template] Update compatibility rules to include
 template template parameters

---
 source/templates.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/templates.tex b/source/templates.tex
index 369755465d..f969a08893 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -1539,13 +1539,13 @@
 if
 \begin{itemize}
 \item
-\tcode{A} denotes a class template or an alias template and
+\tcode{A} denotes a class template, an alias template, or a type template template parameter and
 \tcode{P} is a type template template parameter,
 \item
-\tcode{A} denotes a variable template and
+\tcode{A} denotes a variable template or a variable template template parameter and
 \tcode{P} is a variable template template parameter, or
 \item
-\tcode{A} denotes a concept and
+\tcode{A} denotes a concept or a concept template parameter and
 \tcode{P} is a concept template parameter.
 \end{itemize}