https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104141
--- Comment #4 from Fedor Chelnokov <fchelnokov at gmail dot com> --- In ``` template <class T> concept t = requires{ A::f(); }; ``` A::f() does not depend on template parameter, so the rules here are somewhat different than in T::f(). A possible answer: https://stackoverflow.com/a/70783451/7325599