about summary refs log tree commit diff
path: root/tests/ui/delegation/target-expr-pass.rs
blob: 56068dfce01d7fbdc4e818d63ae112b30cba4dcd (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
31
32
33
34
35
36
37
// run-pass

#![feature(fn_delegation)]
//~^ WARN the feature `fn_delegation` is incomplete

mod to_reuse {
    pub fn foo(x: i32) -> i32 { x }
    pub mod inner {}
}

reuse to_reuse::foo {{
    use self::to_reuse::foo;
    let x = foo(12);
    x + self
}}

trait Trait {
    fn bar(&self, x: i32) -> i32 { x }
}

struct F;
impl Trait for F {}

struct S(F);
impl Trait for S {
    reuse <F as Trait>::bar {
        #[allow(unused_imports)]
        use self::to_reuse::{foo, inner::self};
        let x = foo(12);
        assert_eq!(x, 12);
        &self.0
    }
}

fn main() {
    assert_eq!(foo(12), 24);
}