blob: be141339a3f2e708bcecce3e3dbdb9b797361ac8 [file] [log] [blame]
// check-pass
#![feature(rustc_attrs)]
trait Foo {
type Bar;
}
impl Foo for () {
type Bar = u32;
}
fn foo() -> <() as Foo>::Bar {
22
}
fn main() { }