rust-safe

(idea stage) A #[safe] attribute for explaining why unsafe { ... } is OK.