blob: f17e0a678c96b35d70ba72437681abab75ecc0ec [file] [log] [blame]
//! 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
}