]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // check-pass |
2 | ||
94222f64 | 3 | #![feature(type_alias_impl_trait)] |
ba9703b0 XL |
4 | |
5 | type A = impl Sized; | |
94222f64 XL |
6 | fn f1() -> A { |
7 | 0 | |
8 | } | |
ba9703b0 XL |
9 | |
10 | type B = impl ?Sized; | |
94222f64 XL |
11 | fn f2() -> &'static B { |
12 | &[0] | |
13 | } | |
ba9703b0 XL |
14 | |
15 | type C = impl ?Sized + 'static; | |
94222f64 XL |
16 | fn f3() -> &'static C { |
17 | &[0] | |
18 | } | |
ba9703b0 XL |
19 | |
20 | type D = impl ?Sized; | |
94222f64 XL |
21 | fn f4() -> &'static D { |
22 | &1 | |
23 | } | |
ba9703b0 XL |
24 | |
25 | fn main() {} |