Lint unreachable_pub got easily confused by multiple items in a single pub use ... statement

[imp]

This code (playground) trips unreachable_pub lint (while being completely legit).

#![deny(unreachable_pub)]

pub use self::m1::{Item1, Item2};

mod m1 {
    pub use self::m2::{Item1, Item2};
    
    mod m2 {
        pub struct Item1;
        pub struct Item2;
    }
}

However, if we break the top-level pub use ... statement into two separate statements (playground) - unreachable_pub lint convinces itself that the code is, indeed, legit.

#![deny(unreachable_pub)]

pub use self::m1::Item1;
pub use self::m1::Item2;

mod m1 {

    pub use self::m2::{Item1, Item2};
    
    mod m2 {
        pub struct Item1;
        pub struct Item2;
    }
}

[jhpratt]

Running into this myself. Right now I'm just #[allow]ing it with a link to this issue.

If someone could lead me in the right direction, I'll give fixing this a shot.

[HeroicKatora]

It also gets confused if the export happens via a glob, also on a single item (Playground).

#![deny(unreachable_pub)]

mod m1 {
    pub mod m2 {
        pub use super::Item1;
    }
    
    pub struct Item1;
}

pub use m1::m2::*;

[jyn514]

Looks like this is because of #57922 (comment)

[lambinoo]

@rustbot claim

[lambinoo]

Since I claimed it 8 days ago, just a follow up.
I've been able to break the compiler a few times but I'm getting somewhere I think...
Not to a proper solution tho, just more mess, but that means more knowledge!

tl;dr: I haven't given up!

[petrochenkov]

How to fix this: #82064.

[lambinoo]

Closed by #87487