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

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