blob: 5a4b49cfa1e76807259df32b7cc0581d4fd3267e [file] [log] [blame]
// 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;
}