Updated templates.tex to make program ill formed when the set of func… #6706
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…tion templates considered is empty Related to [CWG-issue-465](cplusplus/CWG#465) that notes that currently there is [implementation divergence](https://godbolt.org/z/v86Ga7Mrj) for the friend declaration `friend void fun2<T>(typename Ext<T>::Inner&);` when there is no forward declaration of any such `func2` function template. The edit is suppose to clarify that [temp.deduct.decl#2](https://timsong-cpp.github.io/cppwp/n4868/temp.deduct.decl#2) clause makes the program ill-formed.
jwakely
reviewed
Nov 17, 2023
@jwakely It was suggested that it may be an editorial issue so I created a pull request. Personally, It does seem to be non-editorial to me too. |
|
The suggestion was to add a note, which would be editorial. But if a normative change is needed, that's not editorial. |
jensmaurer
added
cwg
|
This is not the correct approach, I think. Don't merge. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
…tion templates considered is empty
Related to CWG-issue-465 that notes that currently there is implementation divergence for the friend declaration
friend void fun2<T>(typename Ext<T>::Inner&);when there is no forward declaration of any suchfunc2function template. The edit is suppose to clarify that temp.deduct.decl#2 clause makes the program ill-formed.