1 files changed, 14 insertions, 0 deletions
diff --git a/tests/mir-opt/lower_slice_len.rs b/tests/mir-opt/lower_slice_len.rs
new file mode 100644
index 000000000..12955aed1
--- /dev/null
+++ b/tests/mir-opt/lower_slice_len.rs
@@ -0,0 +1,14 @@
+// unit-test: LowerSliceLenCalls
+
+// EMIT_MIR lower_slice_len.bound.LowerSliceLenCalls.diff
+pub fn bound(index: usize, slice: &[u8]) -> u8 {
+    if index < slice.len() {
+        slice[index]
+    } else {
+        42
+    }
+}
+
+fn main() {
+    let _ = bound(1, &[1, 2, 3]);
+}