summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs')
-rw-r--r--src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs b/src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs
deleted file mode 100644
index 7cc0acf45..000000000
--- a/src/test/ui/nll/relate_tys/hr-fn-aba-as-aaa.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// Test that the NLL `relate_tys` code correctly deduces that a
-// function returning always its first argument can be upcast to one
-// that returns either first or second argument.
-//
-// check-pass
-// compile-flags:-Zno-leak-check
-
-fn make_it() -> for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 {
- panic!()
-}
-
-fn main() {
- let a: for<'a> fn(&'a u32, &'a u32) -> &'a u32 = make_it();
- drop(a);
-}