禁止递归泛型？

Question

我想在编译时将两个类相互绑定：

class Test<A extends Test<A, B>, B extends Test<B, A>> {}
class Foo extends Test<Foo, Bar> {}
class Bar extends Test<Bar, Foo> {}

但是，它会编译错误

type argument B is not within bounds of type-variable A

但我没有在代码中看到任何问题。

UPD。用7u40编译没有错误。 1.7.0_06-ea-b07错误