gcc-4.8.1/gcc/testsuite/g++.dg/template/typename10.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// { dg-do compile }

// Copyright (C) 2006 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 25 Aug 2006 <nathan@codesourcery.com>

// Origin: Tobias Schwinger <tschwinger@neoscientists.org>
// PR 27787. Too eager to resolve a typename

template<typename X>
struct x
{
  template<typename Y>
  struct y
  {
    typedef Y type;
  };
};

template<typename A>
struct a : x<A>
{
  template<typename B>
  typename a::template y<B>::type f(B);
};