rm custom `intrinsics::discriminant_value`

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 9cae97a4060cf7bff3243ab4fe68d354cddaa9cc..44283364a98643564d6010b1c397f2bfc2ec307b 100644 (file)
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -248,12 +248,6 @@ fn call_intrinsic(
                 }
             }
 
-            "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"