From 9e062c85bb0a905bdba4d4e962abe389c46bb86d Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Thu, 30 Nov 2017 16:11:52 +0100 Subject: Report a targeted note for generic parameters --- src/test/ui/type-check/missing_trait_impl.rs | 17 +++++++++++++++++ src/test/ui/type-check/missing_trait_impl.stderr | 10 ++++++++++ 2 files changed, 27 insertions(+) create mode 100644 src/test/ui/type-check/missing_trait_impl.rs create mode 100644 src/test/ui/type-check/missing_trait_impl.stderr (limited to 'src/test') diff --git a/src/test/ui/type-check/missing_trait_impl.rs b/src/test/ui/type-check/missing_trait_impl.rs new file mode 100644 index 00000000000..fe008db68a0 --- /dev/null +++ b/src/test/ui/type-check/missing_trait_impl.rs @@ -0,0 +1,17 @@ +// 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 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +fn main() { +} + +fn foo(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` +} diff --git a/src/test/ui/type-check/missing_trait_impl.stderr b/src/test/ui/type-check/missing_trait_impl.stderr new file mode 100644 index 00000000000..64f8167eb1d --- /dev/null +++ b/src/test/ui/type-check/missing_trait_impl.stderr @@ -0,0 +1,10 @@ +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 + -- cgit 1.4.1-3-g733a5