overload7.C   [plain text]

// Build don't link:

// Adapted from testcase by Corey Kosak <kosak@cs.cmu.edu>

template<class T>
struct moo_t {
  struct cow_t {};
};

template<class T> void foo(typename moo_t<T>::cow_t) {}

template<class T> void foo(moo_t<T>) {
  typename moo_t<T>::cow_t p;
  foo(p); // gets bogus error - no matching function for call - XFAIL *-*-*
}

int main() {
  moo_t<int> x;
  foo(x); // gets bogus error - instantiated from here - XFAIL *-*-*
}