1// Copyright (C) 2005 Free Software Foundation, Inc.
2// Contributed by Nathan Sidwell 31 Mar 2005 <nathan@codesourcery.com>
3
4// { dg-do run }
5// DR214
6
7template <class T> T f(int) {return 0;}
8template <class T, class U> T f(U){return 1;}
9
10template <typename T, typename R> T checked_cast (R const &) {return 0;}
11template <typename T, typename R> T checked_cast (R *) {return 1;}
12
13
14int main ()
15{
16  int i = 0;
17
18  if (f<int>(1))
19    return 1;
20
21  if (checked_cast<int>(i) != 0)
22    return 2;
23
24  if (checked_cast<int>(&i) != 1)
25    return 3;
26
27  return 0;
28}
29