Skip to content

Remove special-case handling of vec.split_off(0)#119917

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:split-off
Jan 26, 2024
Merged

Remove special-case handling of `vec.split_off(0)`#119917
bors merged 1 commit intorust-lang:masterfrom
Zalathar:split-off

Commits

Commits on Jan 13, 2024