// compile-flags:-Zborrowck=mir
// build-pass (FIXME(62277): could be check-pass?)

#![feature(rustc_attrs)]

trait Foo {
    type Bar;
}

impl Foo for () {
    type Bar = u32;
}

fn foo() -> <() as Foo>::Bar {
    22
}

fn main() { }