Skip to content

Commit 21e9478

Browse files
committedFeb 21, 2019
update test files to reflect new output
One surprise: old-lub-glb-object.rs, may indicate a bug
·
1.88.01.34.0
1 parent 561ce44 commit 21e9478

File tree

71 files changed

+846
-300
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

71 files changed

+846
-300
lines changed
 

‎src/librustc/infer/region_constraints/leak_check.rs

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,18 @@ impl<'tcx> RegionConstraintCollector<'tcx> {
3131

3232
assert!(self.in_snapshot());
3333

34+
// If the user gave `-Zno-leak-check`, then skip the leak
35+
// check completely. This is wildly unsound and also not
36+
// unlikely to cause an ICE or two. It is intended for use
37+
// only during a transition period, in which the MIR typeck
38+
// uses the "universe-style" check, and the rest of typeck
39+
// uses the more conservative leak check. Since the leak
40+
// check is more conservative, we can't test the
41+
// universe-style check without disabling it.
42+
if tcx.sess.opts.debugging_opts.no_leak_check {
43+
return Ok(());
44+
}
45+
3446
// Go through each placeholder that we created.
3547
for (_, &placeholder_region) in placeholder_map {
3648
// Find the universe this placeholder inhabits.

‎src/test/ui/anonymous-higher-ranked-lifetime.rs

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,26 @@
11
fn main() {
22
f1(|_: (), _: ()| {}); //~ ERROR type mismatch
3+
//~^ ERROR type mismatch
34
f2(|_: (), _: ()| {}); //~ ERROR type mismatch
5+
//~^ ERROR type mismatch
46
f3(|_: (), _: ()| {}); //~ ERROR type mismatch
7+
//~^ ERROR type mismatch
58
f4(|_: (), _: ()| {}); //~ ERROR type mismatch
9+
//~^ ERROR type mismatch
610
f5(|_: (), _: ()| {}); //~ ERROR type mismatch
11+
//~^ ERROR type mismatch
712
g1(|_: (), _: ()| {}); //~ ERROR type mismatch
13+
//~^ ERROR type mismatch
814
g2(|_: (), _: ()| {}); //~ ERROR type mismatch
15+
//~^ ERROR type mismatch
916
g3(|_: (), _: ()| {}); //~ ERROR type mismatch
17+
//~^ ERROR type mismatch
1018
g4(|_: (), _: ()| {}); //~ ERROR type mismatch
19+
//~^ ERROR type mismatch
1120
h1(|_: (), _: (), _: (), _: ()| {}); //~ ERROR type mismatch
21+
//~^ ERROR type mismatch
1222
h2(|_: (), _: (), _: (), _: ()| {}); //~ ERROR type mismatch
23+
//~^ ERROR type mismatch
1324
}
1425

1526
// Basic

0 commit comments

Comments
 (0)
Please sign in to comment.