Recursive templated structs disallowed?

[Don]

Simen kjaeraas wrote:
> struct bar( T ) {
>     auto baz( U )( U arg ) {
>         bar!( typeof( this ) ) tmp;
>         return tmp;
>     }
> }
> 
> void main( ) {
>     bar!int n;
>     n.baz( 3 );
> }
> 
> This code fails with
> Error: recursive template expansion for template argument bar!(int)
> Now, I agree it is recursive, but it is not infinitely recursive, so
> there shouldn't really be a problem.
> Is this a bug? Is there a workaround?
> 
Duplicate of bug 3869.