From 404c37999be2b0f5a8769870f985fd6677ee3905 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 23 May 2020 16:30:50 +0200
Subject: [PATCH] test discriminant_value intrinsic

---
 tests/run-pass/intrinsics.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/run-pass/intrinsics.rs b/tests/run-pass/intrinsics.rs
index 63439c996af..ffa7f080aa4 100644
--- a/tests/run-pass/intrinsics.rs
+++ b/tests/run-pass/intrinsics.rs
@@ -25,4 +25,9 @@ fn main() {
     assert_eq!(intrinsics::unlikely(true), true);
 
     unsafe { intrinsics::forget(Bomb); }
+
+    let _v = intrinsics::discriminant_value(&Some(()));
+    let _v = intrinsics::discriminant_value(&0);
+    let _v = intrinsics::discriminant_value(&true);
+    let _v = intrinsics::discriminant_value(&vec![1,2,3]);
 }