summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-25810.rs
blob: f32216f325482de9ade816612a2d069ba4994c57 (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
// run-pass
fn main() {
    let x = X(15);
    let y = x.foo();
    println!("{:?}",y);
}

trait Foo
    where for<'a> &'a Self: Bar
{
    fn foo<'a>(&'a self) -> <&'a Self as Bar>::Output;
}

trait Bar {
    type Output;
}

struct X(i32);

impl<'a> Bar for &'a X {
    type Output = &'a i32;
}

impl Foo for X {
    fn foo<'a>(&'a self) -> <&'a Self as Bar>::Output {
        &self.0
    }
}