What Rust has taught us