gcc/testsuite/g++.dg/template/sfinae-dr1227.C

   1 // PR c++/96560
   2 // DR 1227
   3 // Test that we substitute function parameter types in lexical order.
   4
   5 template <class T>
   6 struct A { typedef typename T::type type; }; // { dg-error "void" }
   7
   8 template <class T> void f(typename T::type, typename A<T>::type);
   9 template <class T> long f(...);
  10
  11 long x = f<int>(0, 0); // { dg-bogus "" } OK
  12
  13
  14 template <class T> void g(T, typename A<T>::type);
  15 template <class T> long g(...);
  16
  17 long y = g<void>(0, 0); // { dg-bogus "" } OK
  18
  19
  20 template <class T> void h(typename A<T>::type, T);
  21 template <class T> long h(...);
  22
  23 long z = h<void>(0, 0); // { dg-message "required from here" } hard error