Skip to content

Remove attribute #[rustc_error]#139122

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:norerr
Mar 31, 2025
Merged

Remove attribute `#[rustc_error]`#139122
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:norerr

Commits

Commits on Mar 29, 2025