Light
Rust
Coal
Navy
Ayu
The Rust Programming Language
Validating References with Lifetimes