// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s

template<typename... Types> struct Tuple;

// FIXME: Many more bullets to go

// In a template-argument-list (14.3); the pattern is a template-argument.
template<typename ...Types>
struct tuple_of_refs {
  typedef Tuple<Types& ...> types;
};

Tuple<int&, float&> *t_int_ref_float_ref;
tuple_of_refs<int&, float&>::types *t_int_ref_float_ref_2 =  t_int_ref_float_ref;


// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s

template<typename... Types> struct tuple;

// FIXME: Many more bullets to go

// In a template-argument-list (14.3); the pattern is a template-argument.
template<typename ...Types>
struct tuple_of_refs {
  typedef tuple<Types& ...> types;
};

tuple<int&, float&> *t_int_ref_float_ref;
tuple_of_refs<int&, float&>::types *t_int_ref_float_ref_2 =  t_int_ref_float_ref;

template<typename ...Types>
struct extract_nested_types {
  typedef tuple<typename Types::type...> types;
};

template<typename T>
struct identity {
  typedef T type;
};

tuple<int, float> *t_int_float;
extract_nested_types<identity<int>, identity<float> >::types *t_int_float_2 
  = t_int_float;

Test template instantiation of pack expansions where the parameter pack is in a nested-name-specifier
Test template instantiation of pack expansions where the parameter pack is in a nested-name-specifier

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@122282 91177308-0d34-0410-b5e6-96231b3b80d8
