Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/g++.dg/template/defarg13.C @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
line wrap: on
line source

// 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" }