Subversion Repositories openrisc

// { dg-do compile }

// Copyright (C) 2001 Free Software Foundation, Inc.

// Contributed by Nathan Sidwell 15 Dec 2001 

// PR 2645

template 

struct call_traits

{

  public:

  typedef T type_less_spec;

};

template 

struct call_traits

{

  typedef T type_more_spec;

};

int main()

{

  int num;

   // Two typedefs lead to the instant. of the less spec. ("wrong") template

  typedef int& r_type;

  typedef const r_type cr_type;

  call_traits::type_less_spec var  = num; // { dg-error "" "" }

   // The explicit type leads to the instantiation of the "correct" one

  call_traits::type_more_spec var2 = num;

   // As happen with a single typedef!

  typedef const int& std_cr_type;

  call_traits::type_more_spec var3 = num;

   // As happen, indeed, without the cv-qualifier

  call_traits::type_more_spec var4;

}