summaryrefslogtreecommitdiffstats
path: root/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs')
-rw-r--r--src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs b/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
deleted file mode 100644
index c9e93174e..000000000
--- a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-// `S` is infinitely recursing so it's not possible to generate a finite
-// drop impl (ignoring polymorphization).
-//
-// Dropck should therefore detect that this is the case and eagerly error.
-
-struct S<T> {
- t: T,
- s: Box<S<fn(u: T)>>,
-}
-
-fn f(x: S<u32>) {} //~ ERROR overflow while adding drop-check rules for S<u32>
-
-fn main() {
- // Force instantiation.
- f as fn(_);
-}