summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/nll/region_subtyping_basic.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/nll/region_subtyping_basic.rs')
-rw-r--r--src/test/mir-opt/nll/region_subtyping_basic.rs25
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/mir-opt/nll/region_subtyping_basic.rs b/src/test/mir-opt/nll/region_subtyping_basic.rs
deleted file mode 100644
index 64332f302..000000000
--- a/src/test/mir-opt/nll/region_subtyping_basic.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// Basic test for liveness constraints: the region (`R1`) that appears
-// in the type of `p` includes the points after `&v[0]` up to (but not
-// including) the call to `use_x`. The `else` branch is not included.
-
-// compile-flags:-Zverbose
-// ^^^^^^^^^ force compiler to dump more region information
-
-#![allow(warnings)]
-
-fn use_x(_: usize) -> bool {
- true
-}
-
-// EMIT_MIR_FOR_EACH_BIT_WIDTH
-// EMIT_MIR region_subtyping_basic.main.nll.0.mir
-fn main() {
- let mut v = [1, 2, 3];
- let p = &v[0];
- let q = p;
- if true {
- use_x(*q);
- } else {
- use_x(22);
- }
-}