Rollup merge of #63158 - JohnTitor:add-test-for-58951, r=Centril

Add test for issue-58951

Closes #58951

r? @Centril

src/test/ui/existential_types/issue-58951.rs

@@ -0,0 +1,10 @@
+// check-pass
+#![feature(existential_type)]
+
+existential type A: Iterator;
+fn def_a() -> A { 0..1 }
+pub fn use_a() {
+    def_a().map(|x| x);
+}
+
+fn main() {}