Unwanted recursive expansion

[Luc J. Bourhis via Digitalmars-d]

Consider the following program:

struct Expr(E) {
  const E expr;
  // If I replace the return type with "auto", dmd enters into an 
infinite loop instead of failing (see below)
  @property Expr!(Transposed!E)  trans() {
    alias R = Transposed!E;
    return Expr!R(R(expr));
  }
}

struct Transposed(E) {
    const E expr;
}

struct Matrix {
  @property auto asExpression() {
    return Expr!(Matrix)(this);
  }

  alias asExpression this;
}

void main() {
    auto a = Matrix();
    auto e = a.trans;
    pragma(msg, typeof(e).stringof);
}

It fails to compile:

~> dmd -v | head -n1
DMD64 D Compiler v2.066-devel
~> dmd -c expression_template.d
expression_template.d(4): Error: template instance 
expression_template.Transposed!(Transposed!(Transposed!(Transposed!( 
.................. ) recursive expansion

Am I missing something?