Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[conv.general] Remove duplicate cross-reference to [dcl.init] #7356

Closed
wants to merge 1 commit into from

Conversation

Eisenwave
Copy link
Contributor

The previous paragraph already contains the same \iref{dcl.init}, and normally, we don't duplicate these.

I'm also not sure whether this \iref is all that good in general, but I don't see any obvious improvement.

@jensmaurer
Copy link
Member

I'd like to keep the cross-reference here, although it might look duplicate, because it's a "normative" pointer to the interpretation of the initialization syntax. The syntax is different in the preceding paragraph, and it's not necessarily clear that both syntaxes are covered by the same subclause.

@jensmaurer jensmaurer closed this Oct 28, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants