// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// error-pattern: unresolved name
+// error-pattern: failed to resolve. Use of undeclared type or module `thing`
fn main() { let foo = thing::len(Vec::new()); }