Estaba leyendo elRFC sobre el rasgo implícito "en expansión" cuando me encontré con lo siguiente:

Por el contrario, un programador que aprendió por primera vez:fn take_iter(t: impl Iterator) y luego probé:fn give_iter() -> impl Iterator sería exitoso, sin una comprensión rigurosa de que simplemente pasaron de lo universal a lo existencial.

Si bien entiendo universal vs existencial desde una perspectiva lógica, ¿qué hace que el primero sobre universal y el segundo existencial?