You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If a template, a member template or a member of a class template is explicitly specialized then that specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required.
Now that we have modules, this sentence should probably say "... then a declaration of that specialization shall be reachable from ..." instead.
[temp.expl.spec]/7, emphasis mine:
Now that we have modules, this sentence should probably say "... then a declaration of that specialization shall be reachable from ..." instead.
Note that P1787R6: Declarations and where to find them updated a similar sentence in [temp.spec.partial.general], but neglected this one.
The text was updated successfully, but these errors were encountered: