From ed7e4e1e27d21d47b93f756e615b5cb750275c3f Mon Sep 17 00:00:00 2001 From: Ryan Cumming Date: Sat, 27 Jan 2018 14:18:18 +1100 Subject: [PATCH] Expand union test to include different types --- .../run-pass/union/union-const-eval-field.rs | 33 +++++++++++++++---- 1 file changed, 26 insertions(+), 7 deletions(-) diff --git a/src/test/run-pass/union/union-const-eval-field.rs b/src/test/run-pass/union/union-const-eval-field.rs index a58b8bc34cd0..f83f49f298b9 100644 --- a/src/test/run-pass/union/union-const-eval-field.rs +++ b/src/test/run-pass/union/union-const-eval-field.rs @@ -10,17 +10,36 @@ #![feature(const_fn)] +type Field1 = i32; +type Field2 = f32; +type Field3 = i64; + union DummyUnion { - field1: i32, - field2: i32, + field1: Field1, + field2: Field2, + field3: Field3, } -const fn read_field() -> i32 { - const UNION: DummyUnion = DummyUnion { field1: 5 }; - const FIELD: i32 = unsafe { UNION.field2 }; - FIELD +const FLOAT1_AS_I32: i32 = 1065353216; +const UNION: DummyUnion = DummyUnion { field1: FLOAT1_AS_I32 }; + +const fn read_field1() -> Field1 { + const FIELD1: Field1 = unsafe { UNION.field1 }; + FIELD1 +} + +const fn read_field2() -> Field2 { + const FIELD2: Field2 = unsafe { UNION.field2 }; + FIELD2 +} + +const fn read_field3() -> Field3 { + const FIELD3: Field3 = unsafe { UNION.field3 }; + FIELD3 } fn main() { - assert_eq!(read_field(), 5); + assert_eq!(read_field1(), FLOAT1_AS_I32); + assert_eq!(read_field2(), 1.0); + assert_eq!(read_field3(), unsafe { UNION.field3 }); }