1// { dg-do assemble  }
2
3// Copyright (C) 2000 Free Software Foundation, Inc.
4// Contributed by Nathan Sidwell 10 Jan 2001 <nathan@codesourcery.com>
5
6// Bug 1509. We ICE'd on trying to coerce a non-type template parm
7// that wouldn't.
8
9template<class T>
10struct A {
11typedef int F();
12};
13
14template<class T, typename A<T>::F f>
15struct B {
16static int g() { return f(); }
17};
18
19int f() { return 0; }
20
21int main() {
22return B<int,&f>::g();  // { dg-error "" } could not convert arg
23}
24