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 8template <typename T> 9struct call_traits 10{ 11 public: 12 typedef T type_less_spec; 13}; 14 15template <typename T> 16struct call_traits<T&> 17{ 18 typedef T type_more_spec; 19}; 20 21 22int 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