Function assert_rejects_mismatch

nodedb-vector/tests/simd_length_safety.rs:16–31

(metric: DistanceMetric)

use nodedb_vector::distance::distance;

fn assert_rejects_mismatch(metric: DistanceMetric) {
    // a.len() = 9 forces one 8-wide SIMD chunk + remainder. b.len() = 1
    // means any unchecked 256-bit load from b is a buffer overrun. A correct
    // dispatcher either rejects the call (panic) or bounds iteration by
    // `min(a.len(), b.len())`; both surface as a deterministic panic today
    // because the scalar remainder loop indexes `b[i]` out of bounds.
    let a = vec![1.0f32; 9];
    let b = vec![1.0f32; 1];

    let result = std::panic::catch_unwind(|| distance(&a, &b, metric));
    assert!(
        result.is_err(),
        "distance({metric:?}) must reject length mismatch (a.len()=9, b.len()=1) \
         instead of reading past the shorter buffer"
    );
}

#[test]
fn l2_rejects_length_mismatch() {