1 pages tagged with "unsoundness"
Unsoundness and accidental features in the #[target_feature]
July 05, 2025 - 3269 words - 17 mins
#[target_feature]Researching the SemVer hazards of the #[target_feature] attribute led to finding unexpected unsoundness, discovering an "accidental feature" in Rust, finding bugs in rustdoc, the creation of an RFC that evolves the Rust language, and the addition of a dozen new SemVer lints. My work on cargo-semver-checks benefits the Rust ecosystem in more ways than just preventing breakage!