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

#![feature(type_alias_impl_trait)]
#[attr = MacroUse {arguments: UseAll}]
extern crate std;
#[prelude_import]
use ::std::prelude::rust_2015::*;

trait Animal { }

fn main() {
    type ServeFut = /*impl Trait*/;
}