Work around issue with is_foreign_item

model-checking · Dec 6, 2023 · 505700a · 505700a
1 parent d00c437
commit 505700a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/kani-compiler/src/kani_middle/reachability.rs b/kani-compiler/src/kani_middle/reachability.rs
@@ -485,7 +485,10 @@ fn to_fingerprint(tcx: TyCtxt, item: &InternalMonoItem) -> Fingerprint {
 
 /// Return whether we should include the item into codegen.
 fn should_codegen_locally(instance: &Instance) -> bool {
- !instance.is_foreign_item()
+ // TODO: This should only check is_foreign_item() or even `has_body()`.
+ // We need https://github.com/rust-lang/rust/pull/118681 to land first.
+ //!instance.is_foreign_item()
+ instance.body().is_some()
 }
 
 fn collect_alloc_items(alloc_id: AllocId) -> Vec<MonoItem> {