annotate gcc/testsuite/g++.dg/template/explicit-args1.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/34950
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 template <class T = int> struct policy {
kono
parents:
diff changeset
4 typedef int unnecessary;
kono
parents:
diff changeset
5 };
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 template <class Policy> struct A {
kono
parents:
diff changeset
8 typedef int type;
kono
parents:
diff changeset
9 typedef typename Policy::unnecessary unused;
kono
parents:
diff changeset
10 };
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 template <class T> struct S {
kono
parents:
diff changeset
13 typedef int type;
kono
parents:
diff changeset
14 typedef typename A<T>::type unused;
kono
parents:
diff changeset
15 };
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 template <class, class T> typename S<T>::type foo();
kono
parents:
diff changeset
18 template <class> S<policy<> >::type foo();
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 template <typename T> int def(T);
kono
parents:
diff changeset
21 const int i = def(foo<int>);