diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2019-10-01 21:22:46 -0400 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2019-10-01 21:22:46 -0400 |
| commit | 1caa6dc5461292611fcad75c8114c9fd35d7e923 (patch) | |
| tree | f32601c9769272f842659ef8d7214daa4365ac02 | |
| parent | 1245467322dd8a93f375fc8965a6102d84a8303b (diff) | |
| download | rust-1caa6dc5461292611fcad75c8114c9fd35d7e923.tar.gz rust-1caa6dc5461292611fcad75c8114c9fd35d7e923.zip | |
Fixup tests
| -rw-r--r-- | src/test/ui/hrtb/issue-30786.nll.stderr | 12 | ||||
| -rw-r--r-- | src/test/ui/hrtb/issue-30786.rs | 3 |
2 files changed, 11 insertions, 4 deletions
diff --git a/src/test/ui/hrtb/issue-30786.nll.stderr b/src/test/ui/hrtb/issue-30786.nll.stderr index 1cfd93e59d9..cd1272da2a6 100644 --- a/src/test/ui/hrtb/issue-30786.nll.stderr +++ b/src/test/ui/hrtb/issue-30786.nll.stderr @@ -1,14 +1,20 @@ error: higher-ranked subtype error - --> $DIR/issue-30786.rs:113:18 + --> $DIR/issue-30786.rs:108:15 + | +LL | let map = source.map(|x: &_| x); + | ^^^^^^^^^^^^^^^^^^^^^ + +error: higher-ranked subtype error + --> $DIR/issue-30786.rs:114:18 | LL | let filter = map.filter(|x: &_| true); | ^^^^^^^^^^^^^^^^^^^^^^^^ error: higher-ranked subtype error - --> $DIR/issue-30786.rs:115:17 + --> $DIR/issue-30786.rs:116:17 | LL | let count = filter.count(); // Assert that we still have a valid stream. | ^^^^^^^^^^^^^^ -error: aborting due to 2 previous errors +error: aborting due to 3 previous errors diff --git a/src/test/ui/hrtb/issue-30786.rs b/src/test/ui/hrtb/issue-30786.rs index 1bbef995fe8..34d6b19f602 100644 --- a/src/test/ui/hrtb/issue-30786.rs +++ b/src/test/ui/hrtb/issue-30786.rs @@ -106,7 +106,8 @@ impl<T> StreamExt for T where for<'a> &'a mut T: Stream { } fn main() { let source = Repeat(10); let map = source.map(|x: &_| x); - //[migrate]~^ ERROR implementation of `Stream` is not general enough + //[nll]~^ ERROR higher-ranked subtype error + //[migrate]~^^ ERROR implementation of `Stream` is not general enough //[migrate]~| NOTE `Stream` would have to be implemented for the type `&'0 mut Map //[migrate]~| NOTE but `Stream` is actually implemented for the type `&'1 //[migrate]~| NOTE implementation of `Stream` is not general enough |