Strange behavior with unused imports

[zwarich]

This program is currently accepted:

use A::B;

mod A {
    pub struct B { n: int }
    fn B() { }
}

fn main() {
}

but this program, which adds a use of B(), is not:

use A::B;

mod A {
    pub struct B { n: int }
    fn B() { }
}

fn main() {
    let _ = B();
}

[zwarich]

I found this while trying out cases for #15443.

[pcwalton]

What is the error?

[zwarich]

Sorry, didn't include it:

test.rs:1:5: 1:10 error: type `B` is inaccessible
test.rs:1 use A::B;
              ^~~~~

[pcwalton]

Interesting. I believe that both programs should be accepted and the privacy pass is wrong here. Imports are "greedy" and resolve to as many namespaces as they have access to.

[zwarich]

Adding a pub to the fn B() { } makes the error go away.

[pcwalton]

Yup. I think the privacy pass is getting confused by the differing privacy when multiple namespaces are involved.

[frewsxcv]

Just tried running this and confirm this is still an issue.

[steveklabnik]

By changing int to i32, this error persists today.

I feel like this is a duplicate of another ticket, but I cannot find it right now.

[petrochenkov]

I feel like this is a duplicate of another ticket, but I cannot find it right now.

#12334 and it's closed.
This "strange" behavior is intentional currently.

[steveklabnik]

Closing the .