tests/ui/error-codes/E0657.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

#![allow(warnings)]

trait Id<T> {}
trait Lt<'a> {}

impl<'a> Lt<'a> for () {}
impl<T> Id<T> for T {}

fn free_fn_capture_hrtb_in_impl_trait()
    -> Box<dyn for<'a> Id<impl Lt<'a>>>
        //~^ ERROR `impl Trait` cannot capture higher-ranked lifetime from `dyn` type
{
    Box::new(())
}

struct Foo;
impl Foo {
    fn impl_fn_capture_hrtb_in_impl_trait()
        -> Box<dyn for<'a> Id<impl Lt<'a>>>
            //~^ ERROR `impl Trait` cannot capture higher-ranked lifetime from `dyn` type
    {
        Box::new(())
    }
}

fn main() {}