Broken MIR - call dest mismatch (warning appeared after updating to 1.8 stable)

[mitchmindtree]

When compiling the conrod examples after updating to 1.8 stable, the following Broken MIR warning has been appearing:

examples/all_widgets.rs:145:39: 145:44 warning: broken MIR (var1 = conrod::ui::Ui<B>::new(tmp23, tmp25) -> [return: bb46, unwind: bb45]): call dest mismatch (conrod::ui::Ui<(gfx_texture::Texture<gfx_device_gl::Resources>, gfx_graphics::glyph::GlyphCache<gfx_device_gl::Resources, gfx_device_gl::factory::Factory>)> <- conrod::ui::Ui<(<gfx_graphics::back_end::GfxGraphics<'static, gfx_device_gl::Resources, gfx_device_gl::command::CommandBuffer> as graphics::graphics::Graphics>::Texture, gfx_graphics::glyph::GlyphCache<gfx_device_gl::Resources, gfx_device_gl::factory::Factory>)>): Sorts(ExpectedFound { expected: gfx_texture::Texture<gfx_device_gl::Resources>, found: <gfx_graphics::back_end::GfxGraphics<'static, gfx_device_gl::Resources, gfx_device_gl::command::CommandBuffer> as graphics::graphics::Graphics>::Texture })
examples/all_widgets.rs:145         Ui::new(glyph_cache.unwrap(), theme)

Here is the code from the conrod example that causes the warning.

The same warning also appears in each of the other conrod examples at the same line (i.e. here and here and so on for the other examples).

I found #32959 which also gives a broken MIR warning, however the warning seems to be slightly different so I thought I'd post a new issue.

[Aatch]

Looks like the associated type isn't getting normalized. Given that it "expects" an associated type.

[nagisa]

Smaller example:

trait A {
    type B;
}

impl A for () {
    type B = u32;
}

struct D<B>(::std::marker::PhantomData<B>);

impl<B> D<B> {
    fn new() -> D<B> {
        D(::std::marker::PhantomData)
    }
}

type U = D<<() as A>::B>;

fn main() {
    let _ = U::new();
}

[nagisa]

This is a duplicate of #28828. Thanks for the report.