tests/ui/impl-trait/defining-use-uncaptured-non-universal-region.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// issue: #111906
//@ check-pass

#![allow(unconditional_recursion)]

fn foo<'a: 'a>() -> impl Sized {
    let _: () = foo::<'a>();
    loop {}
}

fn bar<'a: 'a>() -> impl Sized + 'a {
    let _: *mut &'a () = bar::<'a>();
    loop {}
}

fn main() {}