Skip to content

Add an assume that the index is inbounds to slice::get_unchecked#116915

Merged
bors merged 1 commit into
rust-lang:masterfrom
bend-n:unwet
Dec 4, 2023
Merged

Add an assume that the index is inbounds to slice::get_unchecked#116915
bors merged 1 commit into
rust-lang:masterfrom
bend-n:unwet

use `assume(idx < self.len())` in `[T]::get_unchecked`

73afc00
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs