Compile-time constexprness checks for functions, member functions, and function objects. Includes implementation of INVOKE rules