#![feature(type_alias_impl_trait)]

trait MyTrait {}
impl MyTrait for i32 {}

//@ hasraw impl_trait_alias/type.Foo.html 'Foo'
/// debug type
pub type Foo = impl MyTrait;

//@ hasraw impl_trait_alias/fn.foo.html 'foo'
/// debug function
pub fn foo() -> Foo {
    1
}