Idea of inventing type from concept is very cool, but we need yo think how to use it. For example if I want to check my function by instantiating with invented type, will type have destructor by default? Will it complete type etc etc

пн, 1 мая 2023 г., 13:46 Михаил Найденов via Std-Proposals <>:
Hello, I am resurrecting a 5 year proposal I never presented.
It suggests, "auto" in a "constrained auto" scenario can be replaced with a name, which will be a typename, introduced for the current function.
Std-Proposals mailing list