| //@ 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*/; | |
| } |