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

            Bug ID: 31263
           Summary: specialization of template template parameter
                    considered ill-formed if parameter is an alias
                    template
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
          Assignee: unassignedclangb...@nondot.org
          Reporter: kr...@kde.org
                CC: dgre...@apple.com, llvm-bugs@lists.llvm.org
    Classification: Unclassified

Testcase:

```
template <template <typename...> class T> struct Template {                     
    template <typename... Us> using type = T<Us...>;                            
};

template <class T> struct X { static constexpr T value = T(); };
template <class T> using alias = X<T>;

int main() { return Template<alias>::type<int>::value; }
```

GCC and EDG accept the code.
Clang accepts the code if `X` is used directly or if `alias` is declared as
`template <class... Ts> using alias = X<Ts...>`.

-- 
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

Reply via email to