[llvm-bugs] [Bug 37617] Some casts to base class conversion are listed for overload resolution& template parameter deduction even though they are inaccessible

via llvm-bugs llvm-bugs at lists.llvm.org
Thu May 31 16:38:01 PDT 2018


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED

--- Comment #1 from Richard Smith <richard-llvm at metafoo.co.uk> ---
Template argument deduction doesn't care about access (this is consistent with
C++'s normal behavior that access is only checked after resolving the meaning
of the name). This is ambiguous because there are multiple possible deduction
results. Sorry.

I'm going to start a discussion in the C++ committee for this example; I think
we should deduce A<int, float> not because the base classes are inaccessible
but because the other possible candidates are its base classes.

-- 
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/20180531/9036b69b/attachment.html>


More information about the llvm-bugs mailing list