We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent de3f552 commit b93bd82Copy full SHA for b93bd82
src/intrinsics/mod.rs
@@ -57,7 +57,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
57
);
58
}
59
Ok(Some(ty::Instance {
60
- def: ty::InstanceDef::Item(instance.def_id()),
+ def: ty::InstanceKind::Item(instance.def_id()),
61
args: instance.args,
62
}))
63
0 commit comments