Можете ли вы указать общий тип, который подклассифицирует другой общий тип _and_ конкретный интерфейс?

У меня есть семейство моделей доменов, каждый из которых имеет подкласс, который расширяет его и реализует определенный интерфейс, например (Cloneable не является интерфейсом, о котором идет речь, например, для целей):

class A{}
class B extends A implements Cloneable{}

class C{}
class D extends C implements Cloneable{}

Я хочу создать подпись общего типа, которая обеспечит это сопряжение, я пробовал это, FAILS:

<T1,T2 extends T1 & Cloneable> void f ( T1 t1, T2 t2 ){}

но я получаю сообщение в своей IntelliJ IDE "Type parameter cannot be followed by other bounds"; он все еще FAILS, если я переключу порядок вокруг на:

<T1,T2 extends Cloneable & T1> void f ( T1 t1, T2 t2 ){}

Получаю сообщение "Interface expected here."

Смутно, обе эти подписи WORK:

<T extends A & Cloneable> void f( A a, T t ){}
<T1,T2 extends T1> void f ( T1 t1, T2 t2 ){}

Является ли это просто странным ограничением системы Java generic типа, в которой я не могу иметь общий класс (т.е. T2), распространять как другой общий класс (т.е. T1), так и конкретный интерфейс (например, Cloneable)?

tl; dr: Итак, почему не будет <T1,T2 extends Cloneable & T1> void f ( T1 t1, T2 t2 ){} компилировать: это ограничение синтаксиса Java generic или я использую неправильный синтаксис?

Ответы

TypeParameter:
    TypeVariable TypeBoundopt

TypeBound:
    extends TypeVariable
    extends ClassOrInterfaceType AdditionalBoundListopt

AdditionalBoundList:
    AdditionalBound AdditionalBoundList
    AdditionalBound

AdditionalBound:
    & InterfaceType