Remove unnecessary is_empty checks#141377

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

nnethercote:rm-unnecessary-is_empty-checksnnethercote/rust:rm-unnecessary-is_empty-checksCopy head branch name to clipboard