用于声明函数模板的5种新语法是什么？

Question

该视频指出了当前TS版本概念的一些问题,其中之一是:

5个用于声明函数模板的新语法

没有给出例子.所以我的问题是他们是什么？

Answer 1

鉴于琐碎的概念定义:

template <class T> concept bool C = true;

我们可以声明相同的函数模板f:

template <class T> requires C<T> void f(T);
template <class T> void f(T) requires C<T>;
template <C T> void f(T); // colloquially known as "terse" syntax
C{T} void f(T); // template introduction syntax
void f(C); // abbreviated function template syntax