При каких условиях не выводит Ничего желательного?

В моем собственном коде, и на многочисленных регистрациях списка рассылки, я заметил беспорядок ни из-за Чего выводимого как наименьшее количество верхней границы двух других типов.

Ответ может быть очевиден для Вас*, но я ленив, таким образом, я спрашиваю you*:

• При каких условиях Ничего не выводит таким образом самый желательный результат?

• Имело бы смысл иметь бросок компилятора ошибка в этих случаях или предупреждение, если не переопределено некоторой аннотацией?

* множественное число