test: add standard_proofs_with_contracts and snapshots

Author: zjp-CN

src/functions/mod.rs

@@ -5,7 +5,7 @@ use rustc_smir::rustc_internal::internal;
 use rustc_span::{Span, source_map::SourceMap};
 use serde::Serialize;
 use stable_mir::{
-    CrateDef, DefId,
+    CrateDef,
     mir::mono::{Instance, MonoItem},
     ty::{FnDef, RigidTy, Ty, TyKind},
 };
@@ -20,7 +20,7 @@ pub fn analyze(tcx: TyCtxt, src_map: &SourceMap) -> Vec<Function> {
     let mut entries = Vec::with_capacity(cap);
 
     for item in local_items {
-        let _span = debug_span!("all_local_items", ?item).entered();
+        let _span = error_span!("all_local_items", ?item).entered();
 
         let Ok(inst) = Instance::try_from(item).inspect_err(|err| error!(?err)) else { continue };
         entries.push(MonoItem::from(inst));

tests/snapshots.rs

@@ -17,3 +17,9 @@ fn standard_proofs() {
     let json = cmd(&["tests/standard_proofs.rs"]);
     expect_file!["./snapshots/standard_proofs.json"].assert_eq(&json);
 }
+
+#[test]
+fn standard_proofs_with_contracts() {
+    let json = cmd(&["tests/standard_proofs_with_contracts.rs"]);
+    expect_file!["./snapshots/standard_proofs_with_contracts.json"].assert_eq(&json);
+}