| // 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() {} |