非型テンプレートのパラメータパックの展開について

Question

前提・実現したいこと

パラメータパックについての解説は多いのですが，非型テンプレートのパラメータパック展開については，ほとんど見つかりませんでした。以下のモデルを作ってコンパイル時にテンプレート引数のチェックをしようと思っていますが，うまくコードが作れません。

テンプレート引数の正当性のチェックをarg_check関数で行いたいのですが，非型テンプレートパラメータパックの展開の方法がわかりません。
以下のコードでは，arg_check関数を再帰関数として構成すると，おおよそこのような形だろうというところまで書いたものです。

どなたかご教示いただける方よろしくお願いします。（当初のコードをクラスメンバ関数に修正しています。）

発生している問題・エラーメッセージ

Use of undeclared identifier 'arg_check'
Expected '(' for function-style cast or type construction

該当のソースコード

constexpr int N=100;

struct Foo{
    bool res=false;
    ///再帰　最後の関数
    bool constexpr arg_check(){return true;}
    ///再帰関数
    template < int head, int... Tail>
    bool constexpr arg_check (head, int ...tail){///error
        static_assert(head < N);
        return arg_check(tail...);///error
    }

    template<int  ... args>
    auto constexpr func(){
        static_assert(arg_check(args));///error
        res=true;
    }
};

int main(){    
    Foo f;
    f.func<200,10>();///200でエラーを検出したい
}

補足情報（FW/ツールのバージョンなど）

clang
c++17

Answer 1

以下で普通にできました。

constexpr int N=100;
template < typename  ... Pack>
static bool constexpr arg_check (Pack ...pack){
    for(auto p:{pack...})
         if(p >= N) return false;
    return true;
}


template<int  ... args>
void constexpr func(){
    static_assert( arg_check(args...));
}