Skip to content

Remove unnecessary is_empty checks#141377

Merged
bors merged 2 commits intorust-lang:masterfrom
nnethercote:rm-unnecessary-is_empty-checks
May 22, 2025
Merged

Remove unnecessary `is_empty` checks#141377
bors merged 2 commits intorust-lang:masterfrom
nnethercote:rm-unnecessary-is_empty-checks

Commits

Commits on May 22, 2025