¿Qué es la elisión de por vida en términos muy simples?
Rust admite una poderosa inferencia de tipos locales en los cuerpos de funciones, pero deliberadamente no realiza ningún razonamiento sobre los tipos de firmas de elementos. Sin embargo, por razones ergonómicas, se aplica un algoritmo de inferencia secundaria muy restringido llamado "elisión de por vida" al juzgar las vidas. Elisión de por vida se ocupa únicamente de inferir parámetros de por vida utilizando tres reglas fácilmente memorizables y sin ambigüedades. Esto significa que la elisión de por vida actúa como una abreviatura para escribir la firma de un elemento, sin ocultar los tipos reales involucrados como lo haría una inferencia local completa si se aplicara a ella.
No entiendo lo que esto significa. ¿Qué son las firmas de artículos? ¿Qué significa "inferir parámetros de vida útil"? Algunos ejemplos o analogías serían útiles.