in C++ ? sure
template<SomeConstraint T>
void F(T p) { ... }
void F(SomeConstraint auto p) { ... }