Perhaps even better, weaken the statement before it
"A type-specifier of the form typename opt nested-name-specifier
opt template-name is a placeholder for a deduced class type
([dcl.type.class.deduct]), provided that the template-name refers to a
class-template."