]>
Commit | Line | Data |
---|---|---|
416331ca XL |
1 | // check-pass |
2 | ||
6a06907d XL |
3 | // revisions: min_tait full_tait |
4 | #![feature(min_type_alias_impl_trait)] | |
5 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
6 | //[full_tait]~^ WARN incomplete | |
416331ca XL |
7 | #![allow(dead_code)] |
8 | ||
9 | pub trait MyTrait {} | |
10 | ||
11 | impl MyTrait for bool {} | |
12 | ||
13 | struct Blah { | |
14 | my_foo: Foo, | |
15 | my_u8: u8 | |
16 | } | |
17 | ||
18 | impl Blah { | |
19 | fn new() -> Blah { | |
20 | Blah { | |
21 | my_foo: make_foo(), | |
22 | my_u8: 12 | |
23 | } | |
24 | } | |
25 | fn into_inner(self) -> (Foo, u8) { | |
26 | (self.my_foo, self.my_u8) | |
27 | } | |
28 | } | |
29 | ||
30 | fn make_foo() -> Foo { | |
31 | true | |
32 | } | |
33 | ||
34 | type Foo = impl MyTrait; | |
35 | ||
36 | fn main() {} |