From bca1c3cfae45a372c423c5013492c8c4306779f6 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Wed, 31 Jul 2019 20:48:20 +0900
Subject: [PATCH] Add test for issue-58951

---
 src/test/ui/existential_types/issue-58951.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/test/ui/existential_types/issue-58951.rs

diff --git a/src/test/ui/existential_types/issue-58951.rs b/src/test/ui/existential_types/issue-58951.rs
new file mode 100644
index 0000000000000..014ed8940040e
--- /dev/null
+++ b/src/test/ui/existential_types/issue-58951.rs
@@ -0,0 +1,10 @@
+// run-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() {}