Add invariant to Vec::pop that len < cap if pop successful - #114370

Add invariant to Vec::pop that len < cap if pop successful#114370

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

krtab:pop_assume_capkrtab/rust:pop_assume_capCopy head branch name to clipboard