[llvm-bugs] [Bug 50039] Failure to deduce templated CNTTP

[via llvm-bugs]

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

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> ---
This example is not valid. There is no language rule that permits deduction of
the template parameter 'Tmpl' in this example.

We get as far as deducing that V = 'B<int>{}', and then deduce the type of V
(namely 'Tmpl') from the type of V (namely 'B<int>'). But there is no deduction
rule that says how to deduce a placeholder for class template deduction from a
class template specialization, so deduction here fails, as I believe the
language rules currently require.

-- 
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/20210512/397fcc31/attachment.html>