const SIZE1: usize = 1;
const SIZE2: usize = 2;
pub static TABLE1: [(u64, u64); SIZE1] = [
(0, 0),
];
pub static TABLE2: [(u64, u64); SIZE2] = [
(0, 0),
(0, 0),
];
fn main() {
assert!(TABLE1[0].0 == 0);
}
thread 'rustc' panicked at 'assertion failed: `(left == right)`
left: `256`,
right: `128`', compiler/rustc_codegen_llvm/src/gotoc/cbmc/goto_program/expr.rs:686
Fails with: