Skip to content

Remove unneeded #[skip_arg] attributes - #156942

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rm-skip_arg-attrs
May 27, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rm-skip_arg-attrs

Commits

Commits on May 26, 2026