diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs index 9cae97a406..44283364a9 100644 --- a/src/shims/intrinsics.rs +++ b/src/shims/intrinsics.rs @@ -248,12 +248,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx } } - "discriminant_value" => { - let place = this.deref_operand(args[0])?; - let discr_val = this.read_discriminant(place.into())?.0; - this.write_scalar(Scalar::from_uint(discr_val, dest.layout.size), dest)?; - } - #[rustfmt::skip] | "sinf32" | "fabsf32"