// error-pattern: unresolved import: ivec
import ivec;

fn main() { let foo = vec::len([]); }