// Copyright (C) 2005 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 31 Mar 2005 <nathan@codesourcery.com>

// { dg-do run }
// DR214

template <class T> T f(int) {return 0;}
template <class T, class U> T f(U){return 1;}

template <typename T, typename R> T checked_cast (R const &) {return 0;}
template <typename T, typename R> T checked_cast (R *) {return 1;}


int main ()
{
  int i = 0;

  if (f<int>(1))
    return 1;
  
  if (checked_cast<int>(i) != 0)
    return 2;

  if (checked_cast<int>(&i) != 1)
    return 3;

  return 0;
}