1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/tait-eq-proj-2.rs b/tests/ui/traits/next-solver/tait-eq-proj-2.rs
new file mode 100644
index 000000000..a3df053dd
--- /dev/null
+++ b/tests/ui/traits/next-solver/tait-eq-proj-2.rs
@@ -0,0 +1,23 @@
+// compile-flags: -Znext-solver
+// check-pass
+
+#![feature(type_alias_impl_trait)]
+
+// Similar to tests/ui/traits/next-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() {}