about summary refs log tree commit diff
path: root/src/test/ui/traits/issue-23003-overflow.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/issue-23003-overflow.rs')
-rw-r--r--src/test/ui/traits/issue-23003-overflow.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/traits/issue-23003-overflow.rs b/src/test/ui/traits/issue-23003-overflow.rs
deleted file mode 100644
index c5f471f23c2..00000000000
--- a/src/test/ui/traits/issue-23003-overflow.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// A variant of traits-issue-23003 in which an infinite series of
-// types are required. This test now just compiles fine, since the
-// relevant rules that triggered the overflow were removed.
-
-// check-pass
-#![allow(dead_code)]
-
-use std::marker::PhantomData;
-
-trait Async {
-    type Cancel;
-}
-
-struct Receipt<A:Async> {
-    marker: PhantomData<A>,
-}
-
-struct Complete<B> {
-    core: Option<B>,
-}
-
-impl<B> Async for Complete<B> {
-    type Cancel = Receipt<Complete<Option<B>>>;
-}
-
-fn foo(_: Receipt<Complete<()>>) { }
-
-
-fn main() { }