Skip to content

Conversation

@frederick-vs-ja
Copy link
Contributor

@frederick-vs-ja frederick-vs-ja commented Nov 1, 2025

Affected sections:

  • [allocator.requirements.general]
  • [namespace.std]
  • [pointer.traits.types]
  • [allocator.traits.types]
  • [tuple.general]
  • [format.context]
  • [numeric.requirements]
  • [rand.util.canonical]
  • [thread.req.lockable.timed]
  • [thread.sharedtimedmutex.requirements.general]

In [rand.util.canonical], it would be clearer to just say generate_canonical instead of "the instantiation" or "the specialization".

Drive-by change:

  • In [tuple.general], change "is similar to" to "behaves similarly to" to avoid confusing with "similar types" in the core specification.

Fixes #8222.

@eisenwave eisenwave added the P1-Important Misapplication of paper, malformed code, internal inconsistencies label Nov 16, 2025
Comment on lines 52 to 53
pointers, the library class
\tcode{complex},
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

While we are here...should we also change this to say "specializations of complex" or something similar? complex is certainly not a class.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Akin? Analogous to?

"Comparable to" would probably be the most natural term, but that's overloaded in C++ too.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"In other words, value types." also looks broken. I guess it's better to fix this later.

heterogeneous, fixed-size collections of values. An instantiation of \tcode{tuple} with
two arguments is similar to an instantiation of \tcode{pair} with the same two arguments.
heterogeneous, fixed-size collections of values. A specialization of \tcode{tuple} with
two arguments is similar to a specialization of \tcode{pair} with the same two arguments.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Drive by: can we find a word other than "similar" to avoid confusion with the Core Word of Power(TM)? Or just delete the sentence.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm now attempting to use "behaves similarly" to avoid such confusion.

Affected sections:
- [allocator.requirements.general]
- [namespace.std]
- [pointer.traits.types]
- [allocator.traits.types]
- [tuple.general]
- [format.context]
- [numeric.requirements]
- [rand.util.canonical]
- [thread.req.lockable.timed]
- [thread.sharedtimedmutex.requirements.general]

In [rand.util.canonical], it would be clearer to just say
`generate_canonical` instead of "the instantiation" or "the
specialization".

Drive-by change:
- In [tuple.general], change "is similar to" to "behaves similarly to"
to avoid confusing with "similar types" in the core specification.
@frederick-vs-ja frederick-vs-ja force-pushed the lib-no-bad-instantiations branch from 1703553 to f7b3241 Compare November 21, 2025 10:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

P1-Important Misapplication of paper, malformed code, internal inconsistencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Some occurrences of "instantiation" should be replaced with "specialization"

4 participants