1 // { dg-additional-options "-Wno-return-type" }
2 
3 template <bool, int> struct X {};
4 
5 template <bool C>    struct X<C,1> {
6     typedef double* type;
7     type foo () const;
8 };
9 
10 template <bool C>
11 typename X<C,1>::type
12 X<C,1>::foo () const {}
13