Я читаю JEP 286, но я не понимаю эту часть:
Захватывающие переменные и типы с вложенными переменными захвата проецируются на супертипы, которые не упоминают переменные захвата. Это сопоставление заменяет переменные захвата их верхними границами и заменяет аргументы типа, ссылающиеся на переменные захвата с ограниченными подстановочными знаками (а затем повторяется). Это сохраняет традиционно ограниченный диапазон переменных захвата, которые рассматриваются только в одном заявлении.
Может ли кто-нибудь сделать мне конкретный пример в Java-коде, что это значит?