diff options
Diffstat (limited to 'src/test/ui/consts/const-eval/ref_to_int_match.rs')
-rw-r--r-- | src/test/ui/consts/const-eval/ref_to_int_match.rs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-eval/ref_to_int_match.rs b/src/test/ui/consts/const-eval/ref_to_int_match.rs new file mode 100644 index 000000000..3f342d916 --- /dev/null +++ b/src/test/ui/consts/const-eval/ref_to_int_match.rs @@ -0,0 +1,27 @@ +// stderr-per-bitwidth + +fn main() { + let n: Int = 40; + match n { + 0..=10 => {}, + 10..=BAR => {}, //~ ERROR could not evaluate constant pattern + //~| ERROR could not evaluate constant pattern + _ => {}, + } +} + +#[repr(C)] +union Foo { + f: Int, + r: &'static u32, +} + +#[cfg(target_pointer_width="64")] +type Int = u64; + +#[cfg(target_pointer_width="32")] +type Int = u32; + +const BAR: Int = unsafe { Foo { r: &42 }.f }; +//~^ ERROR any use of this value will cause an error +//~| WARN this was previously accepted by the compiler but is being phased out |