mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung

Browse Source 
test discriminant_value intrinsic

Make sure this works for all types, not just enums/generators.
This commit is contained in:
bors 2020-05-23 14:31:37 +00:00
commit 70d5caf17e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/run-pass/intrinsics.rs
View File

@ -25,4 +25,9 @@ fn main() {
assert_eq!(intrinsics::unlikely(true), true); assert_eq!(intrinsics::unlikely(true), true);
unsafe { intrinsics::forget(Bomb); } 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]);
} }