[Bug c++/27787] New: Qualified lookup fails to find inherited class template

[tschwinger at neoscientists dot org]

// The code has been tested with GCC 3.4.2, 4.1.1 and 4.2.0 (alpha) and fails.
// It compiles successfully with Comeau (>= 4.2) and VisualC++ (>=7.1).

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

template<typename A>
struct a : x<A>
{
  // supposed to fail (unqualified lookup does not look into dependent base)
  // [ 14.6.2-3 ]
  //
  //    template<typename B>
  //    typename y<B>::type f(B);
  //
  // qualified lookup should find inherited class template 'y', however 
  template<typename B>
  typename a::template y<B>::type f(B);
};


-- 
           Summary: Qualified lookup fails to find inherited class template
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tschwinger at neoscientists dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27787