validate_instance: make sure we actually have a body

model-checking · Dec 5, 2023 · 9f2d97b · 9f2d97b
1 parent 606d96d
commit 9f2d97b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-compiler/src/kani_middle/stubbing/mod.rs b/kani-compiler/src/kani_middle/stubbing/mod.rs
@@ -51,7 +51,7 @@ pub fn validate_instance(tcx: TyCtxt, instance: Instance) -> bool {
  checker.visit_body(&item.body());
  checker.is_valid()
  } else {
- true
+ instance.body().is_some()
  }
 }