Почему нельзя использовать в Generics?

Я хочу ограничить тип, передаваемый в метод, в качестве параметра снизу:
public void fill(T list) {}
Но IDEA мне подчеркивает, что так делать нельзя.
Хотя когда я делаю такое же ограничение сверху вот так:
public void fill(T list) {}
То всё нормально работает.
В чем разница? Почему сверху я ограничение выставить могу, а такое же снизу выставить не получается? Как мне добиться нужного эффекта, используя именно , а не ?

Ответ

Если мы пишем , то тип T у нас может быть любым в иерархии наследования класса Number. Притом, что мы об этих классах не знаем ничего, кроме как того, что они наследуются от Object. Соотвественно, вызвать какие то методы напрямую у объекта типа T у нас не получится.
Ситуация с противоположная. Мы все еще понятия не имеем какой это класс T, но абсолютно точно знаем, что у него есть методы, которые определены в классе Number, т.к. класс наледуется от Number.
Следовательно, конструкция вида является бессмысленной. Основной профит ее использования, это применение с параметризированными классами, например List