[llvm-bugs] [Bug 44661] Failure to partially order constrained overload set of three parameters

via llvm-bugs llvm-bugs at lists.llvm.org
Sun Jan 26 11:09:12 PST 2020


Richard Smith <richard-llvm at metafoo.co.uk> changed:

           What    |Removed                     |Added
         Resolution|INVALID                     |---
                 CC|                            |saar at raz.email
             Status|RESOLVED                    |REOPENED

--- Comment #2 from Richard Smith <richard-llvm at metafoo.co.uk> ---
Presumably the IFNDR is because the candidates are functionally equivalent but
not equivalent. That's easy to rectify:

concept c1 = true;

template<typename, typename>
concept c2 = true;

        c1 T1,
        c2<int> T2,
        c1 T3,
        typename T4 = int
int f(T1, T2, T3, T4 = 0);

        c1 T1,
        c2<int> T2,
        typename T3
int f(T1, T2, T3);

... and Clang still reports this as ambiguous, which it isn't.

You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200126/f9724060/attachment.html>

More information about the llvm-bugs mailing list