]>
Commit | Line | Data |
---|---|---|
6a06907d XL |
1 | // revisions: min_tait full_tait |
2 | #![feature(min_type_alias_impl_trait)] | |
3 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
4 | //[full_tait]~^ WARN incomplete | |
9fa01778 XL |
5 | |
6 | use std::fmt::Debug; | |
7 | ||
8 | fn main() {} | |
9 | ||
416331ca | 10 | type Two<T, U> = impl Debug; |
29967ef6 | 11 | //~^ ERROR `T` doesn't implement `Debug` |
9fa01778 XL |
12 | |
13 | fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> { | |
14 | (t, 4u32) | |
15 | } | |
16 | ||
17 | fn three<T: Debug, U: Debug>(_: T, u: U) -> Two<T, U> { | |
29967ef6 | 18 | //~^ concrete type differs from previous |
9fa01778 XL |
19 | (u, 4u32) |
20 | } |