gcc-4.4.0/gcc/testsuite/g++.dg/template/incomplete4.C

// PR c++/33501
// { dg-do compile }

class A;	// { dg-error "forward declaration" }

template <typename T> struct X
{
  static int f (T);
  static const T &make ();
};

int
main ()
{
  return X<A>::f (X<A>::make ());	// { dg-error "invalid use of incomplete type|initializing argument" }
}