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