'pub use' does something different than 'export', can't be used cross-crate sometimes

[graydon]

The following minimal case can't be used from another crate:

use a::foo;
pub use foo;

mod a {
    type foo = int;
}

If I change the pub use to export it works. So something about the way the exports get written is different. This is blocking #2006.

[nikomatsakis]

I had always envisioned this being written pub use a::foo, and use foo (whether or not it is public) being a syntax error (using a single identifier does... nothing?). Does that work? It seems much clearer written that way.

[graydon]

No, same result.

[graydon]

Note that this only happens cross-crate. Inside a single file everything's ok:

mod quux {

    use a::Foo;
    pub use Foo;

    mod a {
        type Foo = int;
    }
}

fn main() {
    let _x : quux::Foo = 10;
}

[catamorphism]

This looked simple but is vexingly complicated. Adding pub use things as exports breaks random other exports elsewhere, because the whole pub qualifier was only half-finished anyway. I'm on PTO for the rest of the week, so not sure if I'll finish this.

[catamorphism]

Reassigning to @graydon since my understanding is that he mostly fixed it.

[graydon]

This is fixed now.