diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-01 16:00:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-01 16:00:28 +0200 |
| commit | aaec6dfa4788df60e337bc3b4de5f31566c74066 (patch) | |
| tree | 519c99d1bae8f02dcbef3128d3a731a2bcde38ff | |
| parent | 810ffe2ba07320cac7b89af0c2a68048bfb779c9 (diff) | |
| parent | d033e8de217e96c0d44f87f0d5858d221e10189a (diff) | |
| download | rust-aaec6dfa4788df60e337bc3b4de5f31566c74066.tar.gz rust-aaec6dfa4788df60e337bc3b4de5f31566c74066.zip | |
Rollup merge of #63158 - JohnTitor:add-test-for-58951, r=Centril
Add test for issue-58951 Closes #58951 r? @Centril
| -rw-r--r-- | src/test/ui/existential_types/issue-58951.rs | 10 |
1 files changed, 10 insertions, 0 deletions
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 00000000000..410dcdfe347 --- /dev/null +++ b/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() {} |