squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Auto merge of #29705 - Ryman:mismatched_typaram_counts, r=alexcrichton

Browse source 
…type-params for methods
This commit is contained in:
bors 2015-11-10 15:48:00 +00:00
commit 05b66b8a1c
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/librustc_typeck/check/method/confirm.rs
View file

@ -351,7 +351,8 @@ impl<'a,'tcx> ConfirmContext<'a,'tcx> {
method_types);
} else if num_supplied_types != num_method_types {
span_err!(self.tcx().sess, self.span, E0036,
"incorrect number of type parameters given for this method");
"incorrect number of type parameters given for this method: expected {}, found {}",
num_method_types, num_supplied_types);
final_substs.types.replace(
subst::FnSpace,
vec![self.tcx().types.err; num_method_types]);

3
src/test/compile-fail/trait-test-2.rs
View file

@ -16,7 +16,8 @@ impl bar for u32 { fn dup(&self) -> u32 { *self } fn blah<X>(&self) {} }
fn main() {
10.dup::<i32>(); //~ ERROR does not take type parameters
10.blah::<i32, i32>(); //~ ERROR incorrect number of type parameters
10.blah::<i32, i32>();
//~^ ERROR incorrect number of type parameters given for this method: expected 1, found 2
(box 10 as Box<bar>).dup();
//~^ ERROR E0038
//~| ERROR E0038