Skip to content

Commit f252ab1

Browse files
committed
ignore 2 tests in polonius compare-mode
These 2 tests are ignored in the NLL compare-mode, and are ignored in the polonius compare-mode for the same reasons.
1 parent 0643764 commit f252ab1

File tree

4 files changed

+4
-2
lines changed

4 files changed

+4
-2
lines changed

src/test/ui/lub-glb/old-lub-glb-hr-noteq2.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
// relationship, and that holds.
1111
//
1212
// ignore-compare-mode-nll
13+
// ignore-compare-mode-polonius
1314

1415
fn foo(x: for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8, y: for<'a> fn(&'a u8, &'a u8) -> &'a u8) {
1516
// The two types above are not equivalent. With the older LUB/GLB

src/test/ui/lub-glb/old-lub-glb-hr-noteq2.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0308]: `match` arms have incompatible types
2-
--> $DIR/old-lub-glb-hr-noteq2.rs:20:14
2+
--> $DIR/old-lub-glb-hr-noteq2.rs:21:14
33
|
44
LL | let z = match 22 {
55
| _____________-

src/test/ui/meta/meta-expected-error-wrong-rev.a.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0308]: mismatched types
2-
--> $DIR/meta-expected-error-wrong-rev.rs:13:18
2+
--> $DIR/meta-expected-error-wrong-rev.rs:14:18
33
|
44
LL | let x: u32 = 22_usize;
55
| --- ^^^^^^^^ expected `u32`, found `usize`

src/test/ui/meta/meta-expected-error-wrong-rev.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// ignore-compare-mode-nll
2+
// ignore-compare-mode-polonius
23

34
// revisions: a
45
// should-fail

0 commit comments

Comments
 (0)