squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Ignore test hrtb/issue-30786.rs in Polonius compare mode

Browse source
This commit is contained in:
lqd 2019-07-15 18:22:02 +02:00
parent 0bd2b32358
commit ed1625f29e
3 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/test/ui/hrtb/issue-30786.migrate.stderr
View file

@ -1,11 +1,11 @@
error: implementation of `Stream` is not general enough
--> $DIR/issue-30786.rs:107:22
--> $DIR/issue-30786.rs:108:22
|
LL | let map = source.map(|x: &_| x);
| ^^^
|
= note: `Stream` would have to be implemented for the type `&'0 mut Map<Repeat, [closure@$DIR/issue-30786.rs:107:26: 107:35]>`, for any lifetime `'0`
= note: but `Stream` is actually implemented for the type `&'1 mut Map<Repeat, [closure@$DIR/issue-30786.rs:107:26: 107:35]>`, for some specific lifetime `'1`
= note: `Stream` would have to be implemented for the type `&'0 mut Map<Repeat, [closure@$DIR/issue-30786.rs:108:26: 108:35]>`, for any lifetime `'0`
= note: but `Stream` is actually implemented for the type `&'1 mut Map<Repeat, [closure@$DIR/issue-30786.rs:108:26: 108:35]>`, for some specific lifetime `'1`
error: aborting due to previous error

4
src/test/ui/hrtb/issue-30786.nll.stderr
View file

@ -1,11 +1,11 @@
error: higher-ranked subtype error
--> $DIR/issue-30786.rs:111:18
--> $DIR/issue-30786.rs:112:18
|
LL | let filter = map.filter(|x: &_| true);
| ^^^^^^^^^^^^^^^^^^^^^^^^
error: higher-ranked subtype error
--> $DIR/issue-30786.rs:113:17
--> $DIR/issue-30786.rs:114:17
|
LL | let count = filter.count(); // Assert that we still have a valid stream.
| ^^^^^^^^^^^^^^

1
src/test/ui/hrtb/issue-30786.rs
View file

@ -12,6 +12,7 @@
// revisions, don't worry about the --compare-mode=nll on this test.
// ignore-compare-mode-nll
// ignore-compare-mode-polonius
//[nll]compile-flags: -Z borrowck=mir