P1616R1 Using unconstrained template template parameters with constrained templates

Author: jensmaurer

source/templates.tex

@@ -1373,6 +1373,8 @@
 \pnum A \grammarterm{template-argument} matches a template
 \grammarterm{template-parameter} \tcode{P} when
 \tcode{P} is at least as specialized as the \grammarterm{template-argument} \tcode{A}.
+In this comparison, if \tcode{P} is unconstrained,
+the constraints on \tcode{A} are not considered.
 If \tcode{P} contains a template parameter pack, then \tcode{A} also matches \tcode{P}
 if each of \tcode{A}'s template parameters
 matches the corresponding template parameter in the