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 } 42