]>
Commit | Line | Data |
---|---|---|
dc9dc135 XL |
1 | // check-pass |
2 | ||
dc9dc135 XL |
3 | #![allow(non_snake_case)] |
4 | ||
5 | use std::rc::Rc; | |
6 | ||
7 | struct Struct<'a> { x: &'a u32 } | |
8 | ||
9 | type Alias<'a> = Struct<'a>; | |
10 | ||
11 | impl<'a> Alias<'a> { | |
12 | fn take_self(self, f: &u32) -> &u32 { | |
13 | f | |
14 | } | |
15 | ||
16 | fn take_Alias(self: Alias<'a>, f: &u32) -> &u32 { | |
17 | f | |
18 | } | |
19 | ||
20 | fn take_Box_Alias(self: Box<Alias<'a>>, f: &u32) -> &u32 { | |
21 | f | |
22 | } | |
23 | ||
24 | fn take_Box_Box_Alias(self: Box<Box<Alias<'a>>>, f: &u32) -> &u32 { | |
25 | f | |
26 | } | |
27 | ||
28 | fn take_Rc_Alias(self: Rc<Alias<'a>>, f: &u32) -> &u32 { | |
29 | f | |
30 | } | |
31 | ||
32 | fn take_Box_Rc_Alias(self: Box<Rc<Alias<'a>>>, f: &u32) -> &u32 { | |
33 | f | |
34 | } | |
35 | } | |
36 | ||
37 | fn main() { } |