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

Merged

bors merged 1 commit intorust-lang:masterfrom krtab:pop_assume_cap

Oct 16, 2023

+25

Commits on Oct 16, 2023

Add invariant to Vec::pop that len < cap if pop successful
krtab
committed