about summary refs log tree commit diff
diff options
context:
space:
mode:
authorDominik Stolz <d.stolz@tum.de>2023-05-17 16:30:12 +0200
committerDominik Stolz <d.stolz@tum.de>2023-05-23 13:13:40 +0200
commit75e172e71073d771db8e410bbe16c9827db7cada (patch)
tree9e52f0f52b3c9b766f8916459a0e85df2879487d
parentab9e7037d1c1702010092d9134e02b88d54fe237 (diff)
downloadrust-75e172e71073d771db8e410bbe16c9827db7cada.tar.gz
rust-75e172e71073d771db8e410bbe16c9827db7cada.zip
Update obtain-borrowck test
-rw-r--r--tests/run-make-fulldeps/obtain-borrowck/driver.rs5
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) };