]>
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)] | |
6 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
7 | //[full_tait]~^ WARN incomplete | |
48663c56 XL |
8 | |
9 | trait Animal { | |
10 | } | |
11 | ||
12 | fn main() { | |
416331ca | 13 | pub type ServeFut = impl Animal; |
48663c56 | 14 | } |