9 // CHECK-LABEL: @lookup
11 pub fn lookup(buf: &[u8; 2], f: Foo) -> u8 {
12 // CHECK-NOT: panic_bounds_check
21 // CHECK-LABEL: @lookup_unmodified
23 pub fn lookup_unmodified(buf: &[u8; 5], f: Bar) -> u8 {
24 // FIXME: panic check can be removed by adding the assumes back after https://github.com/rust-lang/rust/pull/98332
25 // CHECK: panic_bounds_check