Ensure correct assumptions about constants, types, and more in Rust - View it on GitHub