¿Qué significan los identificadores con comilla simple (') en Rust?

Empecé a aprender Rust y a menudo veo en el código identificadores extraños que comienzan con una comilla simple, como `'a`, `'b` o `'static`. Entiendo que no son strings ni caracteres, porque aparecen en corchetes angulares después del nombre de una función o en la definición de estructuras. Aquí hay un ejemplo que encontré en la documentación: ```rust fn longest<'a>(x: &'a str, y: &'a str) -> &'a str { if x.len() > y.len() { x } else { y } } ``` ¿Qué es `'a`? ¿Por qué es necesario? ¿Y qué significa `'static`, que he visto en algunos ejemplos? Me parece que Rust usa estas notaciones para algo relacionado con la verificación de memoria, pero no puedo entender la lógica. Explíquenme, por favor, en términos simples, como para un principiante. <<>>

¿Qué son los tiempos de vida (lifetimes) en Rust?

Los identificadores con comilla simple, como 'a, 'b o 'static, se llaman anotaciones de tiempo de vida (lifetime annotations). No afectan cuánto tiempo vive