https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 90734, which changed state.
Bug 90734 Summary: [concepts] Pre-normalization substitution into constraints of templated function breaks subsumption https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90734 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED