1 namespace std {
2   template<typename T>
3   class allocator {
4   public:
5     void in_base();
6   };
7 
8   template<typename T, typename Alloc = std::allocator<T> >
9   class vector : Alloc {
10   public:
11     void foo();
12     void stop();
13   };
14   template<typename Alloc> class vector<bool, Alloc>;
15 }
16 
17 void f() {
18   std::vector<int> v;
19   v.foo();
20   // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:18:8 %s -o - | FileCheck -check-prefix=CHECK-CC1 %s
21   // CHECK-CC1: allocator<<#typename T#>>
22   // CHECK-CC1-NEXT: vector<<#typename T#>{#, <#typename Alloc#>#}>
23   // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:19:5 %s -o - | FileCheck -check-prefix=CHECK-CC2 %s
24   // CHECK-CC2: foo
25   // CHECK-CC2: in_base
26   // CHECK-CC2: stop
27 }
28 
29 
30 template <typename> struct X;
31 template <typename T> struct X<T*> { X(double); };
32 X<int*> x(42);
33 // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:32:11 %s -o - | FileCheck -check-prefix=CHECK-CONSTRUCTOR %s
34 // CHECK-CONSTRUCTOR: OVERLOAD: X(<#double#>)
35 // (rather than X<type-parameter-0-0 *>(<#double#>)
36