comparison gcc/testsuite/g++.dg/cpp0x/pr57543-2.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 // DR 1227, PR c++/57543
2 // { dg-do compile { target c++11 } }
3
4 struct S
5 {
6 template <class T> struct A { using X = typename T::X; }; // { dg-error "not a class" }
7 template <class T> typename T::X f(typename A<T>::X);
8 template <class T> void f(...) { }
9 template <class T> auto g(typename A<T>::X) -> typename T::X; // { dg-message "required" }
10 template <class T> void g(...) { }
11
12 void h()
13 {
14 f<int>(0); // OK
15 g<int>(0); // { dg-message "required" }
16 }
17 };