1 // PR c++/78645
2 // { dg-do compile { target c++11 } }
3 
4 typedef bool (*Function)(int);
check(int x,Function p)5 constexpr 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