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

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=44661

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:


template<typename>
concept c1 = true;

template<typename, typename>
concept c2 = true;

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

template<
        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>