Skip to content

Commit e2d1641

Browse files
committed
add explicit revisions to check-pass tests
1 parent bb1385c commit e2d1641

File tree

4 files changed

+16
-5
lines changed

4 files changed

+16
-5
lines changed

tests/ui/nll/polonius/assignment-kills-loans.rs

+4-1
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,11 @@
44
// facts only on simple assignments, but not projections, incorrectly causing errors to be emitted
55
// for code accepted by NLL. They are all variations from example code in the NLL RFC.
66

7+
//@ ignore-compare-mode-polonius (explicit revisions)
8+
//@ revisions: polonius_next polonius
79
//@ check-pass
8-
//@ compile-flags: -Z polonius
10+
//@ [polonius_next] compile-flags: -Z polonius=next
11+
//@ [polonius] compile-flags: -Z polonius
912

1013
struct List<T> {
1114
value: T,

tests/ui/nll/polonius/call-kills-loans.rs

+4-1
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,11 @@
44
// by NLL but was incorrectly rejected by Polonius because of these
55
// missing `killed` facts.
66

7+
//@ ignore-compare-mode-polonius (explicit revisions)
8+
//@ revisions: polonius_next polonius
79
//@ check-pass
8-
//@ compile-flags: -Z polonius
10+
//@ [polonius_next] compile-flags: -Z polonius=next
11+
//@ [polonius] compile-flags: -Z polonius
912

1013
struct Thing;
1114

tests/ui/nll/polonius/location-insensitive-scopes-liveness.rs

+4-2
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,11 @@
55
// than `liveness::trace`, on some specific CFGs shapes: a variable was dead during tracing but its
66
// regions were marked live later, and live loans were not recomputed at this point.
77

8+
//@ ignore-compare-mode-polonius (explicit revisions)
9+
//@ revisions: polonius_next polonius
810
//@ check-pass
9-
//@ revisions: nll polonius
10-
//@ [polonius] compile-flags: -Zpolonius=next
11+
//@ [polonius_next] compile-flags: -Z polonius=next
12+
//@ [polonius] compile-flags: -Z polonius
1113

1214
// minimized from wavefc-cli-3.0.0
1315
fn repro1() {

tests/ui/nll/polonius/storagedead-kills-loans.rs

+4-1
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,11 @@
33
// is correctly accepted by NLL but was incorrectly rejected by
44
// Polonius because of these missing `killed` facts.
55

6+
//@ ignore-compare-mode-polonius (explicit revisions)
7+
//@ revisions: polonius_next polonius
68
//@ check-pass
7-
//@ compile-flags: -Z polonius
9+
//@ [polonius_next] compile-flags: -Z polonius=next
10+
//@ [polonius] compile-flags: -Z polonius
811

912
use std::{io, mem};
1013
use std::io::Read;

0 commit comments

Comments
 (0)