tests/ui/impl-trait/precise-capturing/rpitit-impl-captures-too-much.rs


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

#![feature(precise_capturing_in_traits)]

struct Invariant<'a>(&'a mut &'a mut ());

trait Trait {
    fn hello(self_: Invariant<'_>) -> impl Sized + use<Self>;
}

impl Trait for () {
    fn hello(self_: Invariant<'_>) -> impl Sized + use<'_> {}
    //~^ ERROR return type captures more lifetimes than trait definition
}

fn main() {}