// { 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);
};