1 files changed, 7 insertions, 0 deletions
diff --git a/tests/mir-opt/const_prop/indirect.rs b/tests/mir-opt/const_prop/indirect.rs
new file mode 100644
index 000000000..44916cbfe
--- /dev/null
+++ b/tests/mir-opt/const_prop/indirect.rs
@@ -0,0 +1,7 @@
+// unit-test: ConstProp
+// compile-flags: -C overflow-checks=on
+
+// EMIT_MIR indirect.main.ConstProp.diff
+fn main() {
+    let x = (2u32 as u8) + 1;
+}