tests/ui/associated-types/associated-type-const-nomalization.rs

//! regression test for <https://github.com/rust-lang/rust/issues/26614>
//@ check-pass

trait Mirror {
    type It;
}

impl<T> Mirror for T {
    type It = Self;
}

fn main() {
    let c: <u32 as Mirror>::It = 5;
    const CCCC: <u32 as Mirror>::It = 5;
}