1 // PR c++/78645 2 // { dg-do compile { target c++11 } } 3 4 typedef bool (*Function)(int); check(int x,Function p)5constexpr bool check(int x, Function p) { return p(x); } // { dg-message "in .constexpr. expansion of" } 6 7 static_assert(check(2, check), ""); // { dg-error "conversion|constant|in .constexpr. expansion of" } 8