PR c++/11987: why is it invalid?

[Mark Mitchell]

Ian Lance Taylor wrote:

> ==================================================
> template <int dim> struct X { 
>   struct I { I(); void foo(); }; 
> }; 
>  
> template <int dim> struct Y : X<dim> { 
>     typedef typename X<dim>::I I; 
> }; 
>  
> template <int dim>
> void Y<dim>::I::foo () {}
> 
> template struct Y<1>;
> ==================================================

This should be invalid too, assuming I'm remembering correctly.  I think
you have to say X<dim>::I::foo() when you make the definition.

-- 
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com
(916) 791-8304