On 2022-05-01 at 10:03, Abdullah Qasim via Std-Proposals wrote:
> Why must we do this:
>
> // concept C
>
> template <C ...T >
>
> decltype(auto) func (T ...args)
>
> {
>
> return args + ...;
>
> }
>
> So unnecessary!
>
> Why not:
>
> decltype(auto) func (C ...args)
>
> {
>
> Return args + ...;
>
> }
>
> ??
>
> Not hard to implement, as auto in param list is already implemented.
>
> This would help lots, & would speed up coding, making it more
> maintainable too!
>
>

This has already been considered by the committee and rejected on the
grounds that we cannot easily see that func is a template. How do we
know if C is a concept or a type?