Updated E0282 to new requirements

Author: Adam Medziński

src/librustc/traits/error_reporting.rs

@@ -871,11 +871,10 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> {
 
     fn need_type_info(&self, span: Span, ty: Ty<'tcx>) {
         let mut err = struct_span_err!(self.tcx.sess, span, E0282,
-                                       "unable to infer enough type information about `{}`; \
-                                       type annotations or generic parameter binding required",
+                                       "unable to infer enough type information about `{}`",
                                        ty);
         err.note("type annotations or generic parameter binding required");
-        err.span_label(span, &format!("cannot infer type about `{}`", ty));
+        err.span_label(span, &format!("cannot infer type for `{}`", ty));
         err.emit()
     }
 

src/test/compile-fail/issue-23041.rs

@@ -14,6 +14,6 @@ fn main()
     fn bar(x:i32) ->i32 { 3*x };
     let b:Box<Any> = Box::new(bar as fn(_)->_);
     b.downcast_ref::<fn(_)->_>(); //~ ERROR E0282
-                                  //~| NOTE cannot infer type about `_`
+                                  //~| NOTE cannot infer type for `_`
                                   //~| NOTE type annotations or generic parameter binding required
 }