P2199 Concepts to differentiate types

[wg21bot]

P2199R0 Concepts to differentiate types (Isabella Muerte)

[inbal2l]

A short summary of the comments:

1. There's a request to improve the rationale, and focus on the users' use cases.
2. Naming: similar_to - the core language has a "similar to" in [conv.qual]/3, refer to P2196 as well).
   [Author is aware and will fix it. Next revision is expected to swap distinct_from, different_from meaning. similar_to will be replaced with analogous_to]
3. Please re-evaluate / provide motivation for the necessity of: different_from, distinct_from. 
   [Author is aware and will do so. Relevant links: https://lists.isocpp.org/lib-ext/2020/10/16359.php, https://www.merriam-webster.com/dictionary/subsumption]
4. Some comments about the "remove_cvref" trait in the concepts, suggestions to explore which version will satisfy the common 'user' use cases, and the compile time overhead, if meaningful.

Waiting for R1.

[cor3ntin]

The author informed me that she is no longer pursuing this paper.
If you are interested in pursuing this work further, reach out to her to get the paper's sources.

Closing for now