]>
Commit | Line | Data |
---|---|---|
29967ef6 | 1 | // check-pass |
6a06907d XL |
2 | // revisions: min_tait full_tait |
3 | #![feature(min_type_alias_impl_trait)] | |
4 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
5 | //[full_tait]~^ WARN incomplete | |
416331ca XL |
6 | |
7 | use std::fmt::Debug; | |
8 | ||
9 | fn main() {} | |
10 | ||
29967ef6 | 11 | type Two<T: Debug, U> = impl Debug; |
416331ca XL |
12 | |
13 | fn two<T: Debug, U: Debug>(t: T, _: U) -> Two<T, U> { | |
14 | (t, 4u32) | |
15 | } |