2016-09-07 10:27:57 +02:00
|
|
|
#![feature(custom_attribute, attr_literals)]
|
|
|
|
#![miri(memory_size=0)]
|
2016-07-05 13:04:53 +02:00
|
|
|
|
2016-07-06 17:55:05 +02:00
|
|
|
fn main() {
|
2016-10-15 23:31:42 -06:00
|
|
|
let _x = [42; 10];
|
|
|
|
//~^ERROR tried to allocate 40 more bytes, but only 0 bytes are free of the 0 byte memory
|
2016-07-05 13:04:53 +02:00
|
|
|
}
|