blob: 1d515343eb144b422f7b96002c75200d7ef721e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// PR c++/14912
// Bug: We were instantiating A<B> in order to compare it to the matching
// argument for C<B,B>, which fails.
template <class T>
struct A
{
typedef typename T::F F;
};
struct B { };
template <class T, class U = typename A<T>::F >
struct C
{
typename T::F f; // { dg-error "no type" }
};
C<B, B> c; // { dg-message "required" }
|