blob: 4fc2a9938639915e76ba96f3dbe905e88dee71d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
// PRMS Id: 6393
// Bug: g++ is too lax in considering UPTs to be the same.
template <class R, class T>
class Bar
{
public:
R do_bar (T arg);
};
template <class T>
class Foo
{
T i;
public:
void do_foo () {}
void do_foo (T const & t) {}
void do_foo (Bar<char, T> const & bar); // {} Put the body here and it works
void do_foo (Bar<T, T> const & bar); // {} Put the body here and it works
};
// These definitions don't work
template <class T>
inline void Foo<T>::
do_foo (Bar<char, T> const & bar)
{}
template <class T>
inline void Foo<T>::
do_foo (Bar<T, T> const & bar)
{}
main ()
{ int i;
Bar<char, int> bar1;
Bar<int, int> bar2;
Foo<int> foo;
foo.do_foo();
foo.do_foo(i);
foo.do_foo(bar1);
foo.do_foo(bar2);
return 0;
}
|
