kaidokert / fixed-bigint-rs / 29658579869

98%

main: 97%

Build Type

Pull #146

github

Committed by kaidokert

Commit Message

Pin b to a's length at const_cmp_ct entry

The slice signature dropped the compile-time equal-length guarantee the
old &[T; N], &[T; N] carried. Both callers still pass equal-length slices
by construction, but nothing enforced it at the boundary. Slicing b to
a.len() at entry makes any mismatch trap at the boundary instead of
mid-loop, and lets the compiler prove b[index] in-bounds for the whole
scan so the per-iteration bounds check drops.

Range-slicing in the const path needs feature(const_index); add it to
the nightly feature set alongside the other const-* gates. Audit
cross-build (thumbv7em, panic=abort) stays free of panic/unwind symbols.

Pull Request Pull Request #146: Share FixedUInt/HeaplessBigInt code where the constraints allow

Coverage Stats

60 of 60 new or added lines in 6 files covered. (100.0%)

3 existing lines in 2 files now uncovered.

4171 of 4269 relevant lines covered (97.7%)

6657.44 hits per line