//@ check-pass
//@ compile-flags: -Z unpretty=hir
//@ edition: 2015

#![feature(type_alias_impl_trait)]

trait Animal {}

fn main() {
    pub type ServeFut = impl Animal;
}