From bca1c3cfae45a372c423c5013492c8c4306779f6 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Wed, 31 Jul 2019 20:48:20 +0900 Subject: [PATCH 1/2] 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() {} From d033e8de217e96c0d44f87f0d5858d221e10189a Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Thu, 1 Aug 2019 11:17:01 +0900 Subject: [PATCH 2/2] Change to check-pass --- src/test/ui/existential_types/issue-58951.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/ui/existential_types/issue-58951.rs b/src/test/ui/existential_types/issue-58951.rs index 014ed8940040e..410dcdfe347ed 100644 --- a/src/test/ui/existential_types/issue-58951.rs +++ b/src/test/ui/existential_types/issue-58951.rs @@ -1,4 +1,4 @@ -// run-pass +// check-pass #![feature(existential_type)] existential type A: Iterator;