I want my templated function to accept a parameter pack composed of either predicates with specific parameters or empty curly braces(for backward compatibility reasons). This parameter pack needs to match to a concept.
How do I change my concept definition to allow that?

I want to write a C++ concept which checks if a given type is supported by the numeric_limits library or not. I wrote the following code to do this:

I have the code: