Test template instantiation of pack expansions where the parameter pack is in a nested-name-specifier
llvm-svn: 122282
This commit is contained in:
		
							parent
							
								
									7f73489c3f
								
							
						
					
					
						commit
						9a9116ec8d
					
				| 
						 | 
				
			
			@ -1,15 +1,28 @@
 | 
			
		|||
// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
 | 
			
		||||
 | 
			
		||||
template<typename... Types> struct Tuple;
 | 
			
		||||
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;
 | 
			
		||||
  typedef tuple<Types& ...> types;
 | 
			
		||||
};
 | 
			
		||||
 | 
			
		||||
Tuple<int&, float&> *t_int_ref_float_ref;
 | 
			
		||||
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;
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue