111
|
1 // { dg-do compile }
|
|
2
|
|
3 // Copyright (C) 2001 Free Software Foundation, Inc.
|
|
4 // Contributed by Nathan Sidwell 15 Dec 2001 <nathan@codesourcery.com>
|
|
5
|
|
6 // PR 2645
|
|
7
|
|
8 template <typename T>
|
|
9 struct call_traits
|
|
10 {
|
|
11 public:
|
|
12 typedef T type_less_spec;
|
|
13 };
|
|
14
|
|
15 template <typename T>
|
|
16 struct call_traits<T&>
|
|
17 {
|
|
18 typedef T type_more_spec;
|
|
19 };
|
|
20
|
|
21
|
|
22 int main()
|
|
23 {
|
|
24 int num;
|
|
25
|
|
26 // Two typedefs lead to the instant. of the less spec. ("wrong") template
|
|
27 typedef int& r_type;
|
|
28 typedef const r_type cr_type;
|
|
29 call_traits<cr_type>::type_less_spec var = num; // { dg-error "" }
|
|
30
|
|
31 // The explicit type leads to the instantiation of the "correct" one
|
|
32 call_traits<const int&>::type_more_spec var2 = num;
|
|
33
|
|
34 // As happen with a single typedef!
|
|
35 typedef const int& std_cr_type;
|
|
36 call_traits<std_cr_type>::type_more_spec var3 = num;
|
|
37
|
|
38
|
|
39 // As happen, indeed, without the cv-qualifier
|
|
40 call_traits<r_type>::type_more_spec var4;
|
|
41 }
|