// check-pass
// compile-flags: -Z unpretty=hir

#![feature(type_alias_impl_trait)]
#[prelude_import]
use ::std::prelude::v1::*;
#[macro_use]
extern crate std;

trait Animal { }

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