blob: fbd111c3035662e7894695b022c135bab7c30a50 [file] [log] [blame]
#![crate_name = "inner"]
pub trait MyTrait {
type Y;
}
impl MyTrait for u32 {
type Y = i32;
}
pub fn foo() -> <u32 as MyTrait>::Y {
0
}