]>
Commit | Line | Data |
---|---|---|
60c5eb7d | 1 | // check-pass |
48663c56 XL |
2 | // compile-flags: -Z unpretty=hir |
3 | ||
416331ca | 4 | #![feature(type_alias_impl_trait)] |
48663c56 XL |
5 | #[prelude_import] |
6 | use ::std::prelude::v1::*; | |
7 | #[macro_use] | |
8 | extern crate std; | |
9 | ||
10 | trait Animal { } | |
11 | ||
12 | fn main() { | |
416331ca | 13 | pub type ServeFut = impl Animal; |
48663c56 | 14 | } |