Java泛型 - 扩展多种类型的通配符

Question

我正在尝试执行以下操作，但编译器在我这样做时会抱怨：

class A {}

interface B {}

ArrayList<? extends A implements B> list;

我也试过

ArrayList<? extends A & B> list;

为什么这不合法？ The Java docs specify an example喜欢这个

class C<T extends A & B> {}

那么为什么不在类型定义中允许它呢？