Новый RFC: параметры типов вложенных функций с собственной областью видимости

Открыт RFC, разрешающий вложенным функциям объявлять собственные параметры типов с областью видимости, ограниченной этой функцией.

Суть

Вложенная функция сейчас наследует generics внешней, что мешает переиспользовать имя параметра или переопределить его. RFC предлагает лексическую область видимости параметров типов — аналогично тому, как локальные переменные перекрывают внешние.

Предложение обсуждается, статус — открытое.

Оригинал

Nested function scoped type parameters