about summary refs log tree commit diff
path: root/src/test/ui/inference/lub-glb-with-unbound-infer-var.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/inference/lub-glb-with-unbound-infer-var.rs')
-rw-r--r--src/test/ui/inference/lub-glb-with-unbound-infer-var.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/inference/lub-glb-with-unbound-infer-var.rs b/src/test/ui/inference/lub-glb-with-unbound-infer-var.rs
deleted file mode 100644
index c9e117089f5..00000000000
--- a/src/test/ui/inference/lub-glb-with-unbound-infer-var.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// run-pass
-// Test for a specific corner case: when we compute the LUB of two fn
-// types and their parameters have unbound variables. In that case, we
-// wind up relating those two variables. This was causing an ICE in an
-// in-progress PR.
-
-fn main() {
-    let a_f: fn(_) = |_| ();
-    let b_f: fn(_) = |_| ();
-    let c_f = match 22 {
-        0 => a_f,
-        _ => b_f,
-    };
-    c_f(4);
-}