Skip to content

Commit

Permalink
Rollup merge of rust-lang#63577 - meffij:test-hrtb, r=alexcrichton
Browse files Browse the repository at this point in the history
Test HRTB issue accepted by compiler

Hi! First Rust PR, so if anything needs changing just let me know and I'll take care of it right away.

Closes rust-lang#50301 which was marked E-needstest
  • Loading branch information
Centril authored Aug 15, 2019
2 parents b1bbd52 + e5017de commit 77f2694
Showing 1 changed file with 31 additions and 0 deletions.
31 changes: 31 additions & 0 deletions src/test/ui/issues/issue-50301.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
// Tests that HRTBs are correctly accepted -- https://github.com/rust-lang/rust/issues/50301
// check-pass
trait Trait
where
for<'a> &'a Self::IntoIter: IntoIterator<Item = u32>,
{
type IntoIter;
fn get(&self) -> Self::IntoIter;
}

struct Impl(Vec<u32>);

impl Trait for Impl {
type IntoIter = ImplIntoIter;
fn get(&self) -> Self::IntoIter {
ImplIntoIter(self.0.clone())
}
}

struct ImplIntoIter(Vec<u32>);

impl<'a> IntoIterator for &'a ImplIntoIter {
type Item = <Self::IntoIter as Iterator>::Item;
type IntoIter = std::iter::Cloned<std::slice::Iter<'a, u32>>;
fn into_iter(self) -> Self::IntoIter {
(&self.0).into_iter().cloned()
}
}

fn main() {
}

0 comments on commit 77f2694

Please sign in to comment.