From 51bdec18b085b338a18256ae06692e2d200abdf3 Mon Sep 17 00:00:00 2001 From: Jaemin Moon Date: Mon, 28 Oct 2013 17:18:11 +0900 Subject: [PATCH] Show the name of the trait in the error message --- src/librustc/middle/typeck/check/mod.rs | 12 +++++++----- .../compile-fail/trait-impl-different-num-params.rs | 2 +- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/src/librustc/middle/typeck/check/mod.rs b/src/librustc/middle/typeck/check/mod.rs index f567a880db52..e0aa7760c5e7 100644 --- a/src/librustc/middle/typeck/check/mod.rs +++ b/src/librustc/middle/typeck/check/mod.rs @@ -863,11 +863,13 @@ pub fn compare_impl_method(tcx: ty::ctxt, if impl_m.fty.sig.inputs.len() != trait_m.fty.sig.inputs.len() { tcx.sess.span_err( impl_m_span, - format!("method `{}` has {} parameter(s) \ - but the trait has {} parameter(s)", - tcx.sess.str_of(trait_m.ident), - impl_m.fty.sig.inputs.len(), - trait_m.fty.sig.inputs.len())); + format!("method `{}` has {} parameter{} \ + but the trait method `{}` has {}", + tcx.sess.str_of(trait_m.ident), + impl_m.fty.sig.inputs.len(), + if impl_m.fty.sig.inputs.len() == 1 { "" } else { "s" }, + ty::item_path_str(tcx, trait_m.def_id), + trait_m.fty.sig.inputs.len())); return; } diff --git a/src/test/compile-fail/trait-impl-different-num-params.rs b/src/test/compile-fail/trait-impl-different-num-params.rs index 940c1b3a237b..1d13bcf6b21d 100644 --- a/src/test/compile-fail/trait-impl-different-num-params.rs +++ b/src/test/compile-fail/trait-impl-different-num-params.rs @@ -13,7 +13,7 @@ trait foo { } impl foo for int { fn bar(&self) -> int { - //~^ ERROR method `bar` has 0 parameter(s) but the trait has 1 + //~^ ERROR method `bar` has 0 parameters but the trait method `foo::bar` has 1 *self } }