2020-05-30 16:29:45 +00:00
|
|
|
//@ run-rustfix
|
|
|
|
fn e0658<F, G, H>(f: F, g: G, h: H) -> i32
|
|
|
|
where
|
|
|
|
F: Fn<i32, Output = i32>, //~ ERROR E0658
|
2023-10-31 13:45:26 +00:00
|
|
|
//~^ ERROR E0059
|
2020-05-30 16:29:45 +00:00
|
|
|
G: Fn<(i32, i32, ), Output = (i32, i32)>, //~ ERROR E0658
|
|
|
|
H: Fn<(i32,), Output = i32>, //~ ERROR E0658
|
|
|
|
{
|
|
|
|
f(3);
|
2024-02-09 12:17:55 +00:00
|
|
|
//~^ ERROR: cannot use call notation
|
|
|
|
//~| ERROR: `i32` is not a tuple
|
2020-05-30 16:29:45 +00:00
|
|
|
g(3, 4);
|
|
|
|
h(3)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2024-02-09 12:17:55 +00:00
|
|
|
e0658( //~ ERROR: mismatched types
|
2020-05-30 16:29:45 +00:00
|
|
|
|a| a,
|
|
|
|
|a, b| (b, a),
|
|
|
|
|a| a,
|
|
|
|
);
|
|
|
|
}
|