https://bugs.llvm.org/show_bug.cgi?id=42241
Bug ID: 42241
Summary: variadic templates as template-template parameter
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: C++11
Assignee: unassignedclangb...@nondot.org
Reporter: zhong...@pku.org.cn
CC: blitzrak...@gmail.com, dgre...@apple.com,
erik.pilking...@gmail.com, llvm-bugs@lists.llvm.org,
richard-l...@metafoo.co.uk
My clang is 9.0.0, and the code is:
template<template<typename T = int, typename U> class C> struct X;
clang accepts the code, but gcc rejects it:
error: no default argument for āUā
1 | template<template<typename T = int, typename U> class C> struct X;
| ^
Both compilers reject a similar code sample:
template<template<typename... T, typename = T> class U> struct A
{
template<int> U<int> foo();
};
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs