1 // Regression test for #75525, verifies that no bounds checks are generated.
10 pub fn f0(idx: usize, buf: &[u8; 10]) -> u8 {
11 if idx < 8 { buf[idx + 1] } else { 0 }
17 pub fn f1(idx: usize, buf: &[u8; 10]) -> u8 {
18 if idx > 5 && idx < 8 { buf[idx - 1] } else { 0 }
24 pub fn f2(idx: usize, buf: &[u8; 10]) -> u8 {
25 if idx > 5 && idx < 8 { buf[idx] } else { 0 }