about summary refs log tree commit diff
path: root/src/test/ui/sized
diff options
context:
space:
mode:
authorAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-05 09:13:28 +0100
committerAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-11 09:32:08 +0000
commitcf2dff2b1e3fa55fa5415d524200070d0d7aacfe (patch)
tree40a88d9a46aaf3e8870676eb2538378b75a263eb /src/test/ui/sized
parentca855e6e42787ecd062d81d53336fe6788ef51a9 (diff)
Move /src/test to /tests
Diffstat (limited to 'src/test/ui/sized')
-rw-r--r--src/test/ui/sized/coinductive-1-gat.rs14
-rw-r--r--src/test/ui/sized/coinductive-1.rs14
-rw-r--r--src/test/ui/sized/coinductive-2.rs28
-rw-r--r--src/test/ui/sized/recursive-type-1.rs10
-rw-r--r--src/test/ui/sized/recursive-type-2.rs13
-rw-r--r--src/test/ui/sized/recursive-type-2.stderr13
6 files changed, 0 insertions, 92 deletions
diff --git a/src/test/ui/sized/coinductive-1-gat.rs b/src/test/ui/sized/coinductive-1-gat.rs
deleted file mode 100644
index cdf70920f00..00000000000
--- a/src/test/ui/sized/coinductive-1-gat.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-// check-pass
-struct Node<C: Trait>(C::Assoc::<Self>);
-
-trait Trait {
-    type Assoc<T>;
-}
-
-impl Trait for Vec<()> {
-    type Assoc<T> = Vec<T>;
-}
-
-fn main() {
-    let _ = Node::<Vec<()>>(Vec::new());
-}
diff --git a/src/test/ui/sized/coinductive-1.rs b/src/test/ui/sized/coinductive-1.rs
deleted file mode 100644
index 7bcd0f1fdaf..00000000000
--- a/src/test/ui/sized/coinductive-1.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-// check-pass
-struct Node<C: Trait<Self>>(C::Assoc);
-
-trait Trait<T> {
-    type Assoc;
-}
-
-impl<T> Trait<T> for Vec<()> {
-    type Assoc = Vec<T>;
-}
-
-fn main() {
-    let _ = Node::<Vec<()>>(Vec::new());
-}
diff --git a/src/test/ui/sized/coinductive-2.rs b/src/test/ui/sized/coinductive-2.rs
deleted file mode 100644
index 212274d2e4b..00000000000
--- a/src/test/ui/sized/coinductive-2.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// run-pass
-struct Node<C: CollectionFactory<Self>> {
-    _children: C::Collection,
-}
-
-trait CollectionFactory<T> {
-    type Collection;
-}
-
-impl<T> CollectionFactory<T> for Vec<()> {
-    type Collection = Vec<T>;
-}
-
-trait Collection<T>: Sized {
-    fn push(&mut self, v: T);
-}
-
-impl<T> Collection<T> for Vec<T> {
-    fn push(&mut self, v: T) {
-        self.push(v)
-    }
-}
-
-fn main() {
-    let _ = Node::<Vec<()>> {
-        _children: Vec::new(),
-    };
-}
diff --git a/src/test/ui/sized/recursive-type-1.rs b/src/test/ui/sized/recursive-type-1.rs
deleted file mode 100644
index cd6805967e5..00000000000
--- a/src/test/ui/sized/recursive-type-1.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-// check-pass
-trait A { type Assoc; }
-
-impl A for () {
-    // FIXME: it would be nice for this to at least cause a warning.
-    type Assoc = Foo<()>;
-}
-struct Foo<T: A>(T::Assoc);
-
-fn main() {}
diff --git a/src/test/ui/sized/recursive-type-2.rs b/src/test/ui/sized/recursive-type-2.rs
deleted file mode 100644
index 7d95417a6ff..00000000000
--- a/src/test/ui/sized/recursive-type-2.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// build-fail
-//~^ ERROR cycle detected when computing layout of `Foo<()>`
-
-trait A { type Assoc: ?Sized; }
-
-impl A for () {
-    type Assoc = Foo<()>;
-}
-struct Foo<T: A>(T::Assoc);
-
-fn main() {
-    let x: Foo<()>;
-}
diff --git a/src/test/ui/sized/recursive-type-2.stderr b/src/test/ui/sized/recursive-type-2.stderr
deleted file mode 100644
index d0e6e9db07e..00000000000
--- a/src/test/ui/sized/recursive-type-2.stderr
+++ /dev/null
@@ -1,13 +0,0 @@
-error[E0391]: cycle detected when computing layout of `Foo<()>`
-   |
-   = note: ...which requires computing layout of `<() as A>::Assoc`...
-   = note: ...which again requires computing layout of `Foo<()>`, completing the cycle
-note: cycle used when elaborating drops for `main`
-  --> $DIR/recursive-type-2.rs:11:1
-   |
-LL | fn main() {
-   | ^^^^^^^^^
-
-error: aborting due to previous error
-
-For more information about this error, try `rustc --explain E0391`.