//@ check-pass
//@ compile-flags: -Z unpretty=hir
#![feature(type_alias_impl_trait)]
trait Animal {}
fn main() {
pub type ServeFut = impl Animal;
}