我正在学习概念，我想不出约束非类型模板参数的值(非类型)的方法。

Example编译的代码，尽管我希望它不会(由于失败的要求)：

#include <cassert>

enum Bla{
    Lol,Haha
};

template<Bla b>
requires requires{
    // my guess is that this just checks that this is valid expression,not
    // that it is true
    b>1; 
}
void f(){
    assert(b>1);
}

int main() {
    f<Lol>(); // compiles,not funny ;)
}

注意： 这是一个简化的示例(我想要模板重载)，因此static_assert对我不好，我正在努力避免std::enable_if，因为语法很难看。