Skip to content

Commit

Permalink
Work on test
Browse files Browse the repository at this point in the history
  • Loading branch information
Aaron1011 committed Sep 20, 2020
1 parent f376d43 commit ab3efa5
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions tests/test/generators.rs
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ fn generator_is_well_formed() {
struct NotSend {}
struct Generic<'a, 'b, T> { val: &'a T, other: &'b T }
impl<'a, 'b, T> Send for Generic<'b, 'b, T> {}

impl !Send for NotSend {}
struct StructThree<'a> { val: &'a () }

Expand All @@ -42,7 +43,7 @@ fn generator_is_well_formed() {

generator bar<T>[resume = (), yield = ()] {
upvars [T; StructOne]
witnesses for<'a, 'b> [Generic<'a, 'b, T>]
witnesses for<'a, 'b> [Generic<'a, 'b, T>; NotSend]
}
}

Expand Down Expand Up @@ -73,7 +74,7 @@ fn generator_is_well_formed() {
}
}
} yields {
"Unique; substitution [], lifetime constraints []"
"No possible solution"
}
}
}

0 comments on commit ab3efa5

Please sign in to comment.