[temp.arg.template] Reference given for "equivalent types" only defines other kinds of equivalence
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 221
- Forks
- 813
- Avg merge
- 16h 4m
- Merged PRs (30d)
- 36
Description
[temp.arg.template]/3 contains:
[..] Two template parameters match if they are of the same kind (type, non-type, template), for non-type template-parameters, their types are equivalent (14.5.6.1), and for template template-parameters, each of their corresponding template-parameters matches, recursively. [..]
Following the reference, one might hope to find information on "equivalent types" in 14.5.6.1 ([temp.over.link]). However, while that section does define equivalent expressions and equivalent function templates, it does not appear to define equivalence of types.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with [temp.arg.template]/3 and follow its reference to [temp.over.link], checking the draft source for the wording around equivalent types, expressions, and function templates. Determine the correct definition or cross-reference, update the corresponding standard-draft text, and verify that the cited reference now describes the intended equivalence.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100