Why does same_as concept check type equality twice?
Interesting question. I have recently watched Andrew Sutton’s talk on Concepts, and in the Q&A session someone asked the following question (timestamp in the following link): CppCon 2018: Andrew Sutton “Concepts in 60: Everything you need to know and nothing you don’t” So the question boils down to: If I have a concept that says …