E0308 Expected private type instead of public reexported

[KalitaAlexey]

pub mod public_module {
    pub use self::private_module::Value;

    mod private_module {
        pub struct Value {}
    }   

    pub fn accept_value(value: &Value) {
    }   
}

pub struct Value {}

fn main() {
    // main.rs:15:39: 15:48 error: mismatched types:
    // expected `&public_module::private_module::Value`,
    //    found `&Value`
    // (expected struct `public_module::private_module::Value`,
    //     found struct `Value`) [E0308]
    // main.rs:15     self::public_module::accept_value(&Value {});
    self::public_module::accept_value(&Value {});
}

I expect that compiler say one of variants:

expected struct `public_module::Value`

or

expected struct `public_module::private_module::Value`.
note: `public_module::private_module::Value is accessible via public_module::Value

If private entry reexported is available from different places then

expected struct `public_module::private_module::Value`.
note: `public_module::private_module::Value is accessible via:
    * public_module::Value
    * another place

EDIT:
It also relevant for extern crate private types

[Mark-Simulacrum]

Closing in favor of #21934.