Make MIR cleanup for functions with impossible predicates into a real MIR pass

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/mir-opt/impossible_predicates.rs b/tests/mir-opt/impossible_predicates.rs
new file mode 100644
index 00000000000..34adf7f9161
--- /dev/null
+++ b/tests/mir-opt/impossible_predicates.rs
@@ -0,0 +1,10 @@
+// skip-filecheck
+// EMIT_MIR impossible_predicates.impossible_predicate.ImpossiblePredicates.diff
+
+pub fn impossible_predicate(x: &mut i32) -> (&mut i32, &mut i32)
+where
+    for<'a> &'a mut i32: Copy,
+{
+    let y = x;
+    (y, x)
+}