Новый RFC: generic-реализации с локальными границами трейтов

Открыт RFC, разрешающий писать generic-реализации с границами, объявленными локально.

Суть

Правила коherence сейчас запрещают реализации, где ограничения зависят от локальных типов. Предложение ослабляет это там, где сохраняется целостность компиляции.

Оригинал

RFC: Allow generic impls using local trait bounds