https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 79381, which changed state.
Bug 79381 Summary: [concepts] Call to template function with type-requirement unsatisfied not rejected https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79381 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID