]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | // check-pass |
0531ce1d | 2 | |
94222f64 XL |
3 | #![feature(type_alias_impl_trait)] |
4 | #![allow(dead_code)] | |
5 | ||
6 | fn main() {} | |
8faf50e0 | 7 | |
94222f64 | 8 | type PartiallyDefined<T> = impl Sized; |
8faf50e0 XL |
9 | |
10 | fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> { | |
11 | 4u32 | |
12 | } | |
13 | ||
94222f64 | 14 | type PartiallyDefined2<T> = impl Sized; |
0531ce1d | 15 | |
8faf50e0 XL |
16 | fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> { |
17 | 4u32 | |
18 | } | |
0531ce1d | 19 | |
8faf50e0 XL |
20 | fn partially_defined22<T>(_: T) -> PartiallyDefined2<T> { |
21 | 4u32 | |
54a0048b | 22 | } |