Skip to content

Commit

Permalink
CWG1296
Browse files Browse the repository at this point in the history
sdutoit committed Feb 26, 2012

Verified

This commit was signed with the committer’s verified signature.
matux Matias Pequeno
1 parent 754de0f commit bac3ef2
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions source/templates.tex
Original file line number Diff line number Diff line change
@@ -3037,15 +3037,15 @@
\indextext{checking!syntax}%
\indextext{checking!point~of error}%
Knowing which names are type names allows the syntax of every template
definition to be checked.
to be checked.
No diagnostic shall be issued for a template
definition for which a valid specialization can be generated.
for which a valid specialization can be generated.
If no valid specialization can be generated
for a template definition,
and that template is not instantiated, the template definition is ill-formed,
for a template,
and that template is not instantiated, the template is ill-formed,
no diagnostic required.
If every valid specialization of a variadic template requires an empty template
parameter pack, the template definition is ill-formed, no diagnostic required.
parameter pack, the template is ill-formed, no diagnostic required.
If a type used in a non-dependent name is incomplete
at the point at which a template is defined but is
complete at the point at which an instantiation is done,

0 comments on commit bac3ef2

Please sign in to comment.