Auto merge of #1658 - RalfJung:forget, r=RalfJung

remove intrinsic that is now implemented in the rustc side

Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.
This commit is contained in:
bors 2020-12-22 11:54:05 +00:00
commit e18c681eea

View file

@ -443,11 +443,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;
}
"forget" => {
// We get an argument... and forget about it.
let &[_] = check_arg_count(args)?;
}
"try" => return this.handle_try(args, dest, ret),
name => throw_unsup_format!("unimplemented intrinsic: {}", name),