Skip to content

Remove useless !fields.is_empty() check - #161507

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:remove_useless_check
Aug 22, 2026
Merged

Remove useless !fields.is_empty() check#161507
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:remove_useless_check

Commits

Commits on Aug 22, 2026