Rename InstanceDef -> InstanceKind

rust-lang · Jun 17, 2024 · b93bd82 · b93bd82
1 parent de3f552
commit b93bd82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs
@@ -57,7 +57,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                     );
                 }
                 Ok(Some(ty::Instance {
-                    def: ty::InstanceDef::Item(instance.def_id()),
+                    def: ty::InstanceKind::Item(instance.def_id()),
                     args: instance.args,
                 }))
             }