// This has nothing here because it means we did string
// concatenation (e.g. "Hello " + "World!"). This means
// we don't want the note in the else clause to be emitted
+ } else if let ty::TyParam(_) = lhs_ty.sty {
+ // FIXME: point to span of param
+ err.note(
+ &format!("`{}` might need a bound for `{}`",
+ lhs_ty, missing_trait));
} else {
err.note(
&format!("an implementation of `{}` might be missing for `{}`",
--- /dev/null
+// Copyright 2017 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+fn main() {
+}
+
+fn foo<T>(x: T, y: T) {
+ let z = x + y; //~ ERROR binary operation `+` cannot be applied to type `T`
+ //~^ NOTE `T` might need a bound for `std::ops::Add`
+}
--- /dev/null
+error[E0369]: binary operation `+` cannot be applied to type `T`
+ --> $DIR/missing_trait_impl.rs:15:13
+ |
+15 | let z = x + y; //~ ERROR binary operation `+` cannot be applied to type `T`
+ | ^^^^^
+ |
+ = note: `T` might need a bound for `std::ops::Add`
+
+error: aborting due to previous error
+