Clippy comments on Why safety is not safe