template<SomeConstraint T> void F(T p) { ... }
void F(SomeConstraint auto p) { ... }
Reply on news.ycombinator.com