Skip to content

Commit 46512e0

Browse files
committed
Add two regression tests for const eval
1 parent faef6a3 commit 46512e0

File tree

2 files changed

+43
-0
lines changed

2 files changed

+43
-0
lines changed

src/test/compile-fail/const-err4.rs

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
#[derive(Copy, Clone)]
12+
union Foo {
13+
a: isize,
14+
b: (),
15+
}
16+
17+
enum Bar {
18+
Boo = [unsafe { Foo { b: () }.a }; 4][3],
19+
//~^ ERROR constant evaluation of enum discriminant resulted in non-integer
20+
}
21+
22+
fn main() {
23+
assert_ne!(Bar::Boo as isize, 0);
24+
}
+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
const FOO: isize = 42;
12+
13+
enum Bar {
14+
Boo = *[&FOO; 4][3],
15+
}
16+
17+
fn main() {
18+
assert_eq!(Bar::Boo as isize, 42);
19+
}

0 commit comments

Comments
 (0)