src/test/ui/type-alias-impl-trait/self_implication.rs


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
38

// check-pass

#![feature(type_alias_impl_trait)]
fn foo() {
    struct Foo<'a> {
        x: &'a mut u8,
    }
    impl<'a> Foo<'a> {
        fn foo(&self) -> impl Sized {}
    }
    // use site
    let mut x = 5;
    let y = Foo { x: &mut x };
    let z = y.foo();
    let _a = &x; // invalidate the `&'a mut`in `y`
    let _b = z; // this should *not* check that `'a` in the type `Foo<'a>::foo::opaque` is live
}

fn bar() {
    struct Foo<'a> {
        x: &'a mut u8,
    }

    // desugared
    type FooX<'a> = impl Sized;
    impl<'a> Foo<'a> {
        fn foo(&self) -> FooX<'a> {}
    }

    // use site
    let mut x = 5;
    let y = Foo { x: &mut x };
    let z = y.foo();
    let _a = &x; // invalidate the `&'a mut`in `y`
    let _b = z; // this should *not* check that `'a` in the type `Foo<'a>::foo::opaque` is live
}

fn main() {}