// error-pattern: unresolved name

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