Skip to content

[basic.link] All names have linkage#8127

Merged
tkoeppe merged 1 commit into
cplusplus:mainfrom
AlisdairM:all_names_have_linkage
Jul 27, 2025
Merged

[basic.link] All names have linkage#8127
tkoeppe merged 1 commit into
cplusplus:mainfrom
AlisdairM:all_names_have_linkage

Conversation

@AlisdairM
Copy link
Copy Markdown
Contributor

@AlisdairM AlisdairM commented Jul 27, 2025

Given that the last option is "no linkage", the list is exhaustive and should not open readers to questioning what other options might be available if a name merely "can have" one of four categories of linkage that otherwise make no claim to be an exhaustive list.

Given that the last option is "no linkage", the list is exhaustive
and should not open readers to questioning what other options
might be available if a name merely "can have" linkage.
@tkoeppe tkoeppe merged commit 4eb527d into cplusplus:main Jul 27, 2025
2 checks passed
@AlisdairM AlisdairM deleted the all_names_have_linkage branch July 27, 2025 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants