https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103524 Bug 103524 depends on bug 125605, which changed state.
Bug 125605 Summary: crucial bug of concept/requires substitution and normalization: missing logic; accepts invalid; wrong result. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125605 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID
