1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// check-pass #![feature(type_alias_impl_trait)] // Regression test for issue #61863 pub trait MyTrait {} #[derive(Debug)] pub struct MyStruct { v: u64, } impl MyTrait for MyStruct {} pub fn bla() -> TE { return MyStruct { v: 1 }; } pub fn bla2() -> TE { bla() } type TE = impl MyTrait; fn main() {}