https://llvm.org/bugs/show_bug.cgi?id=24626
Bug ID: 24626
Summary: clang incorrectly deduces ambiguous template from base
class
Product: clang
Version: 3.6
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: C++
Assignee: unassignedclangb...@nondot.org
Reporter: brunocodu...@gmail.com
CC: dgre...@apple.com, llvm-bugs@lists.llvm.org
Classification: Unclassified
clang fails the following static assertion
template<typename, typename>
struct foo {};
struct bar : foo<void, int>, foo<void, int*> {};
template<typename T>
T f(foo<void, T>&&);
void f(...);
static_assert(std::is_same<decltype(f(std::declval<bar>())), void>{}, "");
it turns out clang chooses the first overload of f and incorrectly deduces T to
be int*
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
