about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/auto-trait-leak.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/auto-trait-leak.rs')
-rw-r--r--src/test/ui/impl-trait/auto-trait-leak.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/impl-trait/auto-trait-leak.rs b/src/test/ui/impl-trait/auto-trait-leak.rs
deleted file mode 100644
index c2fbbf94fd6..00000000000
--- a/src/test/ui/impl-trait/auto-trait-leak.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-use std::cell::Cell;
-use std::rc::Rc;
-
-fn send<T: Send>(_: T) {}
-
-fn main() {
-}
-
-// Cycles should work as the deferred obligations are
-// independently resolved and only require the concrete
-// return type, which can't depend on the obligation.
-fn cycle1() -> impl Clone {
-    //~^ ERROR cycle detected
-    send(cycle2().clone());
-
-    Rc::new(Cell::new(5))
-}
-
-fn cycle2() -> impl Clone {
-    send(cycle1().clone());
-
-    Rc::new(String::from("foo"))
-}