Is the expression `requires { typename enable_if_t<fun_v<T>>; }` the same as `fun_v<T>` "by definition" for any meta-predicate fun_v?
Understanding requires typename enable if t fun v T vs fun v T in Meta Predicates In modern C particularly with the introduction of concepts and requires clause