//! Regression test for #74400: Type mismatch in function arguments E0631, E0271 are falsely | |
//! recognized as E0308 mismatched types. | |
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 mismatched types | |
//~| ERROR implementation of `FnOnce` is not general | |
} |