summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/tait-eq-proj-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/new-solver/tait-eq-proj-2.rs')
-rw-r--r--tests/ui/traits/new-solver/tait-eq-proj-2.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/tests/ui/traits/new-solver/tait-eq-proj-2.rs b/tests/ui/traits/new-solver/tait-eq-proj-2.rs
deleted file mode 100644
index 77ea8bc24..000000000
--- a/tests/ui/traits/new-solver/tait-eq-proj-2.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-// check-pass
-
-#![feature(type_alias_impl_trait)]
-
-// Similar to tests/ui/traits/new-solver/tait-eq-proj.rs
-// but check the alias-sub relation in the other direction.
-
-type Tait = impl Iterator<Item = impl Sized>;
-
-fn mk<T>() -> T {
- todo!()
-}
-
-fn a(_: Tait) {
- let x: Tait = mk();
- let mut array = mk();
- let mut z = IntoIterator::into_iter(array);
- z = x;
- array = [0i32; 32];
-}
-
-fn main() {}