https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 80144, which changed state.
Bug 80144 Summary: Concept introduced with "template<OtherConcept T>" is not diagnosed https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80144 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED