// Add filename to `miri` arguments.
config.args.insert(0, compiler.input().filestem().to_string());
- if let Some(return_code) = miri::eval_main(tcx, entry_def_id, config) {
+ if let Some(return_code) = miri::eval_main(tcx, entry_def_id.to_def_id(), config) {
std::process::exit(
i32::try_from(return_code).expect("Return value was too large!"),
);