blob: 1f2d0e47ea3b2405b6918c2c34dc6d841b6aee10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// check-pass
#![feature(type_alias_impl_trait)]
#![allow(dead_code)]
pub trait MyTrait {}
impl MyTrait for bool {}
type Foo = impl MyTrait;
struct Blah {
my_foo: Foo,
my_u8: u8,
}
impl Blah {
fn new() -> Blah {
Blah { my_foo: make_foo(), my_u8: 12 }
}
fn into_inner(self) -> (Foo, u8, Foo) {
(self.my_foo, self.my_u8, make_foo())
}
}
fn make_foo() -> Foo {
true
}
fn main() {}
|