We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents d14e6f3 + 370b9ef commit 83d66f6Copy full SHA for 83d66f6
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