rustc fails to infer default types that appear inside a path

[MaikKlein]

type MyWorld = World<u32>;
struct World<S = u32> {
    s: S,
}
impl<S> World<S> {
    pub fn new() -> Self {
        unimplemented!()
    }
}
fn main() {
    //let mut world = World::new(); // Doesn't compile
    let mut world: World = World::new(); // <= This works :/
    let mut world = MyWorld::new(); // This also works
}

playground

let mut world = World::new(); // Doesn't compile
let mut world: World = World::new(); // This works

To me this seems like an oversight in how types are inferred inside a path.

[Spoonbender]

Triage: no change