https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96333
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The commit is:
c++: Refinements to "more constrained".
P2113 from the last C++ meeting clarified that we only compare constraints
on functions or function templates that have equivalent template parameters
and function parameters.
And the relevant change is
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2113r0.html
