template<void(&F)()=0>struct X{operator Y(){static_assert(/* ここ */);return Y();}};
関数ポインタがデフォルトパラメータだったらコンパイルエラーにしたいんだけど
なぬか良い策おしえてくださいまし。