алRFC о "расширяющемся" значении когда я наткнулся на следующее:

В отличие от программиста, который впервые узнал:fn take_iter(t: impl Iterator) а потом попробовал:fn give_iter() -> impl Iterator будет успешным, без какого-либо строгого понимания, что они просто перешли от универсального к экзистенциальному.

Хотя я понимаю, что универсальное против экзистенциального с логической точки зрения, что делает первое выше универсальным, а второе экзистенциальным?