История изменений
Исправление Virtuos86, (текущая версия) :
Что-то связанное с экзистенциальностью
Экзистенция — бытие, существование. Экзистенциальный тип это существующий тип.
Как я понял, impl Trait на выходе функции описывает закрытое множество типов, которые уже известны на момент описания функции, а impl Trait на входе описывает открытое множество, т.е. в это множество можно добавить типы уже после написания функции.
Математики, конечно, могут корректнее меня описать идею).
Исходная версия Virtuos86, :
Что-то связанное с экзистенциальностью
Экзистенция — бытие, существование. Экзистенциальный тип это сушествующий тип.
Как я понял, impl Trait на выходе функции описывает закрытое множество типов, которые уже известны на момент описания функции, а impl Trait на входе описывает открытое множество, т.е. в это множество можно добавить типы уже после написания функции.
Математики, конечно, могут корректнее меня описать идею).