src/test/ui/impl-trait/impl-fn-predefined-lifetimes.rs


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

#![feature(impl_trait_in_fn_trait_return)]
use std::fmt::Debug;

fn a<'a>() -> impl Fn(&'a u8) -> (impl Debug + '_) {
    //~^ ERROR cannot resolve opaque type

    |x| x
    //~^ ERROR concrete type differs from previous defining opaque type use
}

fn _b<'a>() -> impl Fn(&'a u8) -> (impl Debug + 'a) {
    a()
}

fn main() {}