Skip to content

Commit 683ebc2

Browse files
estebankestebank
committed
On mismatched argument count point at arguments
1 parent a19edd6 commit 683ebc2

35 files changed

+214
-105
lines changed

‎src/librustc_typeck/check/mod.rs‎

Lines changed: 47 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3761,17 +3761,58 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
37613761
error_code: &str,
37623762
c_variadic: bool,
37633763
sugg_unit: bool| {
3764+
let (span, start_span, args) = match &expr.kind {
3765+
hir::ExprKind::Call(hir::Expr { span, .. }, args) => (*span, *span, &args[..]),
3766+
hir::ExprKind::MethodCall(path_segment, span, args) => (
3767+
*span,
3768+
// `sp` doesn't point at the whole `foo.bar()`, only at `bar`.
3769+
path_segment
3770+
.args
3771+
.and_then(|args| args.args.iter().last())
3772+
// Account for `foo.bar::<T>()`.
3773+
.map(|arg| {
3774+
// Skip the closing `>`.
3775+
tcx.sess
3776+
.source_map()
3777+
.next_point(tcx.sess.source_map().next_point(arg.span()))
3778+
})
3779+
.unwrap_or(*span),
3780+
&args[1..], // Skip the receiver.
3781+
),
3782+
k => span_bug!(sp, "checking argument types on a non-call: `{:?}`", k),
3783+
};
3784+
let arg_spans = if args.is_empty() {
3785+
// foo()
3786+
// ^^^-- supplied 0 arguments
3787+
// |
3788+
// expected 2 arguments
3789+
vec![tcx.sess.source_map().next_point(start_span).with_hi(sp.hi())]
3790+
} else {
3791+
// foo(1, 2, 3)
3792+
// ^^^ - - - supplied 3 arguments
3793+
// |
3794+
// expected 2 arguments
3795+
args.iter().map(|arg| arg.span).collect::<Vec<Span>>()
3796+
};
3797+
37643798
let mut err = tcx.sess.struct_span_err_with_code(
3765-
sp,
3799+
span,
37663800
&format!(
37673801
"this function takes {}{} but {} {} supplied",
37683802
if c_variadic { "at least " } else { "" },
3769-
potentially_plural_count(expected_count, "parameter"),
3770-
potentially_plural_count(arg_count, "parameter"),
3803+
potentially_plural_count(expected_count, "argument"),
3804+
potentially_plural_count(arg_count, "argument"),
37713805
if arg_count == 1 { "was" } else { "were" }
37723806
),
37733807
DiagnosticId::Error(error_code.to_owned()),
37743808
);
3809+
let label = format!("supplied {}", potentially_plural_count(arg_count, "argument"));
3810+
for (i, span) in arg_spans.into_iter().enumerate() {
3811+
err.span_label(
3812+
span,
3813+
if arg_count == 0 || i + 1 == arg_count { &label } else { "" },
3814+
);
3815+
}
37753816

37763817
if let Some(def_s) = def_span.map(|sp| tcx.sess.source_map().def_span(sp)) {
37773818
err.span_label(def_s, "defined here");
@@ -3788,11 +3829,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
37883829
);
37893830
} else {
37903831
err.span_label(
3791-
sp,
3832+
span,
37923833
format!(
37933834
"expected {}{}",
37943835
if c_variadic { "at least " } else { "" },
3795-
potentially_plural_count(expected_count, "parameter")
3836+
potentially_plural_count(expected_count, "argument")
37963837
),
37973838
);
37983839
}
@@ -5494,8 +5535,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
54945535

54955536
self.tcx.sess.span_err(
54965537
span,
5497-
"this function can only be invoked \
5498-
directly, not through a function pointer",
5538+
"this function can only be invoked directly, not through a function pointer",
54995539
);
55005540
}
55015541

‎src/test/ui/arg-count-mismatch.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// error-pattern: parameters were supplied
1+
// error-pattern: arguments were supplied
22

33
fn f(x: isize) { }
44

‎src/test/ui/arg-count-mismatch.stderr‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
1-
error[E0061]: this function takes 1 parameter but 0 parameters were supplied
1+
error[E0061]: this function takes 1 argument but 0 arguments were supplied
22
--> $DIR/arg-count-mismatch.rs:5:28
33
|
44
LL | fn f(x: isize) { }
55
| -------------- defined here
66
LL |
77
LL | fn main() { let i: (); i = f(); }
8-
| ^^^ expected 1 parameter
8+
| ^-- supplied 0 arguments
9+
| |
10+
| expected 1 argument
911

1012
error: aborting due to previous error
1113

‎src/test/ui/c-variadic/variadic-ffi-1.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,8 @@ extern "C" fn bar(f: isize, x: u8) {}
1313

1414
fn main() {
1515
unsafe {
16-
foo(); //~ ERROR this function takes at least 2 parameters but 0 parameters were supplied
17-
foo(1); //~ ERROR this function takes at least 2 parameters but 1 parameter was supplied
16+
foo(); //~ ERROR this function takes at least 2 arguments but 0 arguments were supplied
17+
foo(1); //~ ERROR this function takes at least 2 arguments but 1 argument was supplied
1818

1919
let x: unsafe extern "C" fn(f: isize, x: u8) = foo; //~ ERROR mismatched types
2020
let y: extern "C" fn(f: isize, x: u8, ...) = bar; //~ ERROR mismatched types

‎src/test/ui/c-variadic/variadic-ffi-1.stderr‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,23 +4,27 @@ error[E0045]: C-variadic function must have C or cdecl calling convention
44
LL | fn printf(_: *const u8, ...);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ C-variadics require C or cdecl calling convention
66

7-
error[E0060]: this function takes at least 2 parameters but 0 parameters were supplied
7+
error[E0060]: this function takes at least 2 arguments but 0 arguments were supplied
88
--> $DIR/variadic-ffi-1.rs:16:9
99
|
1010
LL | fn foo(f: isize, x: u8, ...);
1111
| ----------------------------- defined here
1212
...
1313
LL | foo();
14-
| ^^^^^ expected at least 2 parameters
14+
| ^^^-- supplied 0 arguments
15+
| |
16+
| expected at least 2 arguments
1517

16-
error[E0060]: this function takes at least 2 parameters but 1 parameter was supplied
18+
error[E0060]: this function takes at least 2 arguments but 1 argument was supplied
1719
--> $DIR/variadic-ffi-1.rs:17:9
1820
|
1921
LL | fn foo(f: isize, x: u8, ...);
2022
| ----------------------------- defined here
2123
...
2224
LL | foo(1);
23-
| ^^^^^^ expected at least 2 parameters
25+
| ^^^ - supplied 1 argument
26+
| |
27+
| expected at least 2 arguments
2428

2529
error[E0308]: mismatched types
2630
--> $DIR/variadic-ffi-1.rs:19:56

‎src/test/ui/error-codes/E0057.stderr‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,18 @@
1-
error[E0057]: this function takes 1 parameter but 0 parameters were supplied
1+
error[E0057]: this function takes 1 argument but 0 arguments were supplied
22
--> $DIR/E0057.rs:3:13
33
|
44
LL | let a = f();
5-
| ^^^ expected 1 parameter
5+
| ^-- supplied 0 arguments
6+
| |
7+
| expected 1 argument
68

7-
error[E0057]: this function takes 1 parameter but 2 parameters were supplied
9+
error[E0057]: this function takes 1 argument but 2 arguments were supplied
810
--> $DIR/E0057.rs:5:13
911
|
1012
LL | let c = f(2, 3);
11-
| ^^^^^^^ expected 1 parameter
13+
| ^ - - supplied 2 arguments
14+
| |
15+
| expected 1 argument
1216

1317
error: aborting due to 2 previous errors
1418

‎src/test/ui/error-codes/E0060.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,5 @@ extern "C" {
55
fn main() {
66
unsafe { printf(); }
77
//~^ ERROR E0060
8-
//~| expected at least 1 parameter
8+
//~| expected at least 1 argument
99
}

‎src/test/ui/error-codes/E0060.stderr‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
1-
error[E0060]: this function takes at least 1 parameter but 0 parameters were supplied
1+
error[E0060]: this function takes at least 1 argument but 0 arguments were supplied
22
--> $DIR/E0060.rs:6:14
33
|
44
LL | fn printf(_: *const u8, ...) -> u32;
55
| ------------------------------------ defined here
66
...
77
LL | unsafe { printf(); }
8-
| ^^^^^^^^ expected at least 1 parameter
8+
| ^^^^^^-- supplied 0 arguments
9+
| |
10+
| expected at least 1 argument
911

1012
error: aborting due to previous error
1113

‎src/test/ui/error-codes/E0061.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@ fn f2(a: u16) {}
55
fn main() {
66
f(0);
77
//~^ ERROR E0061
8-
//~| expected 2 parameters
8+
//~| expected 2 arguments
99

1010
f2();
1111
//~^ ERROR E0061
12-
//~| expected 1 parameter
12+
//~| expected 1 argument
1313
}

‎src/test/ui/error-codes/E0061.stderr‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,24 @@
1-
error[E0061]: this function takes 2 parameters but 1 parameter was supplied
1+
error[E0061]: this function takes 2 arguments but 1 argument was supplied
22
--> $DIR/E0061.rs:6:5
33
|
44
LL | fn f(a: u16, b: &str) {}
55
| --------------------- defined here
66
...
77
LL | f(0);
8-
| ^^^^ expected 2 parameters
8+
| ^ - supplied 1 argument
9+
| |
10+
| expected 2 arguments
911

10-
error[E0061]: this function takes 1 parameter but 0 parameters were supplied
12+
error[E0061]: this function takes 1 argument but 0 arguments were supplied
1113
--> $DIR/E0061.rs:10:5
1214
|
1315
LL | fn f2(a: u16) {}
1416
| ------------- defined here
1517
...
1618
LL | f2();
17-
| ^^^^ expected 1 parameter
19+
| ^^-- supplied 0 arguments
20+
| |
21+
| expected 1 argument
1822

1923
error: aborting due to 2 previous errors
2024

0 commit comments

Comments
 (0)