Skip to content

Commit 75e172e

Browse files
committed
Update obtain-borrowck test
1 parent ab9e703 commit 75e172e

File tree

1 file changed

+3
-2
lines changed
  • tests/run-make-fulldeps/obtain-borrowck

1 file changed

+3
-2
lines changed

tests/run-make-fulldeps/obtain-borrowck/driver.rs

+3-2
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ impl rustc_driver::Callbacks for CompilerCalls {
102102
println!("Bodies retrieved for:");
103103
for (def_id, body) in bodies {
104104
println!("{}", def_id);
105-
assert!(body.input_facts.cfg_edge.len() > 0);
105+
assert!(body.input_facts.unwrap().cfg_edge.len() > 0);
106106
}
107107
});
108108

@@ -127,7 +127,8 @@ thread_local! {
127127
}
128128

129129
fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> ProvidedValue<'tcx> {
130-
let body_with_facts = rustc_borrowck::consumers::get_body_with_borrowck_facts(tcx, def_id);
130+
let opts = ConsumerOptions::PoloniusInputFacts;
131+
let body_with_facts = rustc_borrowck::consumers::get_body_with_borrowck_facts(tcx, def_id, opts);
131132
// SAFETY: The reader casts the 'static lifetime to 'tcx before using it.
132133
let body_with_facts: BodyWithBorrowckFacts<'static> =
133134
unsafe { std::mem::transmute(body_with_facts) };

0 commit comments

Comments
 (0)