tests/ui/impl-trait/precise-capturing/outlives.rs


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

//@ check-pass

// Show that precise captures allow us to skip a lifetime param for outlives

#![feature(lifetime_capture_rules_2024, precise_capturing)]
//~^ WARN the feature `precise_capturing` is incomplete

fn hello<'a: 'a, 'b: 'b>() -> impl use<'a> Sized { }

fn outlives<'a, T: 'a>(_: T) {}

fn test<'a, 'b>() {
    outlives::<'a, _>(hello::<'a, 'b>());
}

fn main() {}