1 // RUN: clang-cc -fsyntax-only -verify %s
2 
3 template<typename U, typename T>
4 U f0(T t) {
5   return t.template get<U>();
6 }
7 
8 template<typename U, typename T>
9 int &f1(T t) {
10   // FIXME: When we pretty-print this, we lose the "template" keyword.
11   return t.U::template get<int&>();
12 }
13 
14 struct X {
15   template<typename T> T get();
16 };
17 
18 void test_f0(X x) {
19   int i = f0<int>(x);
20   int &ir = f0<int&>(x);
21 }
22 
23 struct XDerived : public X {
24 };
25 
26 void test_f1(XDerived xd) {
27   // FIXME: Not quite functional yet.
28 //  int &ir = f1<X>(xd);
29 }
30 
31