summaryrefslogtreecommitdiff
path: root/clang/test/CXX/dcl.decl/dcl.meaning/dcl.fct/p14.cpp
blob: 0e69521fbdfca7c7537cf033928c6cf42f7859b1 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s

template<typename T> struct identity;
template<typename ...Types> struct tuple;

template<typename T, typename U> struct is_same {
  static const bool value = false;
};

template<typename T> struct is_same<T, T> {
  static const bool value = true;
};

// There is a syntactic ambiguity when an ellipsis occurs at the end
// of a parameter-declaration-clause without a preceding comma. In
// this case, the ellipsis is parsed as part of the
// abstract-declarator if the type of the parameter names a template
// parameter pack that has not been expanded; otherwise, it is parsed
// as part of the parameter-declaration-clause.

template<typename T, typename ...Types>
struct X0 {
  typedef identity<T(Types...)> function_pack_1;
  typedef identity<T(Types......)> variadic_function_pack_1;
  typedef identity<T(T...)> variadic_1;
  typedef tuple<T(Types, ...)...> template_arg_expansion_1;
};



// FIXME: Once function parameter packs are implemented, we can test all of the disambiguation