tests/ui/lifetimes/lifetime-errors/issue_74400.rs


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

//! Regression test for #74400: Type mismatch in function arguments E0631, E0271 are falsely
//! recognized as "implementation of `FnOnce` is not general enough".

use std::convert::identity;

fn main() {}

fn f<T, S>(data: &[T], key: impl Fn(&T) -> S) {
}

fn g<T>(data: &[T]) {
    f(data, identity)
    //~^ ERROR the parameter type
    //~| ERROR the parameter type
    //~| ERROR the parameter type
    //~| ERROR implementation of `FnOnce` is not general enough
    //~| ERROR implementation of `Fn` is not general enough
}