import foo::* sometimes fails to import foo::foo

[marijnh]

The file below fails with unresolved name: foo (in the main fn). When moving the import and main out of the extra module, the problem goes away. It also does not happen if fn foo has a name different from its enclosing module.

mod foo {
    fn foo() {}
}
mod blah {
    import foo::*;
    fn main() { foo(); }
}

[catamorphism]

Test after #1935 is fixed.

[bstrie]

Can't reproduce with new resolve.