use monoitems instead of internalmonoitems

kani-compiler/src/kani_middle/analysis.rs

@@ -25,7 +25,9 @@ use std::fmt::Display;
 ///  - Total number of MIR instructions.
 pub fn print_stats<'tcx>(tcx: TyCtxt<'tcx>, items: &[InternalMonoItem<'tcx>]) {
     rustc_internal::run(tcx, || {
-        let item_types = items.iter().collect::<Counter>();
+        let item_types: Vec<MonoItem> =
+            items.iter().map(|item| rustc_internal::stable(item)).collect();
+        let item_types = item_types.iter().collect::<Counter>();
         let visitor = items
             .iter()
             .filter_map(|&mono| {
@@ -120,12 +122,12 @@ impl<T: Into<Key>> FromIterator<T> for Counter {
 #[derive(Debug, Eq, Hash, PartialEq)]
 struct Key(pub &'static str);
 
-impl<'tcx> From<&InternalMonoItem<'tcx>> for Key {
-    fn from(value: &InternalMonoItem) -> Self {
+impl<'tcx> From<&MonoItem> for Key {
+    fn from(value: &stable_mir::mir::mono::MonoItem) -> Self {
         match value {
-            InternalMonoItem::Fn(_) => Key("function"),
-            InternalMonoItem::GlobalAsm(_) => Key("global assembly"),
-            InternalMonoItem::Static(_) => Key("static item"),
+            MonoItem::Fn(_) => Key("function"),
+            MonoItem::GlobalAsm(_) => Key("global assembly"),
+            MonoItem::Static(_) => Key("static item"),
         }
     }
 }