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

            Bug ID: 46551
           Summary: Template deduction fails when deduction partially
                    disabled
           Product: clang
           Version: 10.0
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++2a
          Assignee: unassignedclangb...@nondot.org
          Reporter: k...@hilvi.org
                CC: blitzrak...@gmail.com, erik.pilking...@gmail.com,
                    llvm-bugs@lists.llvm.org, richard-l...@metafoo.co.uk

The following does not compile. Gcc 10.1 compiles successfully.

#include <type_traits>

template <typename T, int N = -1>
struct Span {
    Span() {}
    Span(const Span<std::remove_cvref_t<T>, N>&) {}
};

template <typename T, int N>
void f(Span<std::type_identity_t<const T>, N> a, T b) {}

int main()
{
    f(Span<int>(), 1);
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to