в ?
скорее всего оно имеет логический смысл для "для любого"
но тогда Box<> и Comparable<> могут оба содержать любой конкретный тип, ничто не указывает на то что он должен быть один и тот же, а это значит что и реализации у них произвольные могут быть и не обязаны быть совместимыми
чтобы показать что тип один и тот же, надо забаиндить дырку в уравнении чем то конкретным
попробовать например <A, T extends Box<A> & Comparable<T>>
Ну да, там либо затыкать дырку, либо использовать интерфейс вместо класса. <T extends Boxable<?> & Comparable<T>> Такая сигнатура работает.
Обсуждают сегодня