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