aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Support the `vec!` macro

Open ayhon opened this issue 8 months ago • 3 comments

Minmimzed example:

fn example() {
    let _ = vec![()];
}

Error generated:

[Error] Invalid input for unop
Source: '/rustc/library/alloc/src/macros.rs', lines 54:12-54:46

ayhon avatar Mar 25 '25 10:03 ayhon