https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120320
--- Comment #4 from Chameleon <gessos.paul at yahoo dot gr> --- Indeed, avoiding determining which of these partial specializations is most constrained, fixes the problem. But, the failed algorithm, if not fixed to handle HUGE DNF/CNF constraints, at least it must produce a bailing-out diagnostic.