diff options
| author | Dominik Stolz <d.stolz@tum.de> | 2023-05-17 16:30:12 +0200 |
|---|---|---|
| committer | Dominik Stolz <d.stolz@tum.de> | 2023-05-23 13:13:40 +0200 |
| commit | 75e172e71073d771db8e410bbe16c9827db7cada (patch) | |
| tree | 9e52f0f52b3c9b766f8916459a0e85df2879487d | |
| parent | ab9e7037d1c1702010092d9134e02b88d54fe237 (diff) | |
| download | rust-75e172e71073d771db8e410bbe16c9827db7cada.tar.gz rust-75e172e71073d771db8e410bbe16c9827db7cada.zip | |
Update obtain-borrowck test
| -rw-r--r-- | tests/run-make-fulldeps/obtain-borrowck/driver.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/run-make-fulldeps/obtain-borrowck/driver.rs b/tests/run-make-fulldeps/obtain-borrowck/driver.rs index d342b2ff6d9..c8990e535b0 100644 --- a/tests/run-make-fulldeps/obtain-borrowck/driver.rs +++ b/tests/run-make-fulldeps/obtain-borrowck/driver.rs @@ -102,7 +102,7 @@ impl rustc_driver::Callbacks for CompilerCalls { println!("Bodies retrieved for:"); for (def_id, body) in bodies { println!("{}", def_id); - assert!(body.input_facts.cfg_edge.len() > 0); + assert!(body.input_facts.unwrap().cfg_edge.len() > 0); } }); @@ -127,7 +127,8 @@ thread_local! { } fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> ProvidedValue<'tcx> { - let body_with_facts = rustc_borrowck::consumers::get_body_with_borrowck_facts(tcx, def_id); + let opts = ConsumerOptions::PoloniusInputFacts; + let body_with_facts = rustc_borrowck::consumers::get_body_with_borrowck_facts(tcx, def_id, opts); // SAFETY: The reader casts the 'static lifetime to 'tcx before using it. let body_with_facts: BodyWithBorrowckFacts<'static> = unsafe { std::mem::transmute(body_with_facts) }; |
