c++ - C++ 中的惰性概念（或如何在概念中保存类型）

Question

可以写这样的东西吗？

requires(... object) 
{
    using T = decltype(object.foo_1());

    {object.()} -> std::same_as<T>
}