[llvm-bugs] [Bug 42960] New: Template template parameters and default arguments in C++17 (CWG150 + P0522R0)

[via llvm-bugs]

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

            Bug ID: 42960
           Summary: Template template parameters and default arguments in
                    C++17 (CWG150 + P0522R0)
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++17
          Assignee: unassignedclangbugs at nondot.org
          Reporter: pkeir at outlook.com
                CC: blitzrakete at gmail.com, erik.pilkington at gmail.com,
                    llvm-bugs at lists.llvm.org, richard-llvm at metafoo.co.uk

Created attachment 22368
  --> https://bugs.llvm.org/attachment.cgi?id=22368&action=edit
The MWE code described in the report.

The code below will not compile with Clang, though it does with GCC (with the
-std=c++17 flag and upwards).

template <typename T, typename = void>
struct jam;

template <template <typename> typename>
struct mata;

using type = mata<jam>;

This relates to CWG 150, which I believe was resolved by P0522R0. That is,
since C++17, code such as that above should now be legal.

-- 
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/20190811/1e61dbdd/attachment.html>