diff options
| author | lqd <remy.rakic+github@gmail.com> | 2019-07-15 18:22:02 +0200 |
|---|---|---|
| committer | lqd <remy.rakic+github@gmail.com> | 2019-07-22 11:36:45 +0200 |
| commit | ed1625f29eabb0659cd9799623922c86a2e4415b (patch) | |
| tree | 8d82486ebb4501a324accb4e49b505d32cf1bec7 | |
| parent | 0bd2b3235808e50f1568d89bb85e2ec6f8397e49 (diff) | |
| download | rust-ed1625f29eabb0659cd9799623922c86a2e4415b.tar.gz rust-ed1625f29eabb0659cd9799623922c86a2e4415b.zip | |
Ignore test hrtb/issue-30786.rs in Polonius compare mode
| -rw-r--r-- | src/test/ui/hrtb/issue-30786.migrate.stderr | 6 | ||||
| -rw-r--r-- | src/test/ui/hrtb/issue-30786.nll.stderr | 4 | ||||
| -rw-r--r-- | src/test/ui/hrtb/issue-30786.rs | 1 |
3 files changed, 6 insertions, 5 deletions
diff --git a/src/test/ui/hrtb/issue-30786.migrate.stderr b/src/test/ui/hrtb/issue-30786.migrate.stderr index 9a4f8772822..e7deca7644b 100644 --- a/src/test/ui/hrtb/issue-30786.migrate.stderr +++ b/src/test/ui/hrtb/issue-30786.migrate.stderr @@ -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 diff --git a/src/test/ui/hrtb/issue-30786.nll.stderr b/src/test/ui/hrtb/issue-30786.nll.stderr index 5c865d76851..8614d86d93a 100644 --- a/src/test/ui/hrtb/issue-30786.nll.stderr +++ b/src/test/ui/hrtb/issue-30786.nll.stderr @@ -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. | ^^^^^^^^^^^^^^ diff --git a/src/test/ui/hrtb/issue-30786.rs b/src/test/ui/hrtb/issue-30786.rs index 321b83c3459..b9920a19504 100644 --- a/src/test/ui/hrtb/issue-30786.rs +++ b/src/test/ui/hrtb/issue-30786.rs @@ -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 |