Я не понимаю этот отрывок в спецификации языка Java:
JLS § 4.9:
значениями типа пересечения являются те объекты, которые являются значениями
всех типов Ti для 1 ≤ i ≤ n.
Насколько мне известно, невозможно напрямую объявить, что тип переменной является типом пересечения.
Я видел используемый тип пересечения в объявлении универсальных классов, но, похоже, это не имеет ничего общего с значениями типа пересечения.
И что же делать упомянутые здесь значения типов пересечений относятся?
Кроме того, что подразумевается под «теми объектами, которые являются значениями >всех типов Ti"?
Подробнее здесь: https://stackoverflow.com/questions/790 ... pe-in-java
