1 files changed, 50 insertions, 0 deletions
diff --git a/src/test/ui/trivial-bounds/trivial-bounds-lint.stderr b/src/test/ui/trivial-bounds/trivial-bounds-lint.stderr
new file mode 100644
index 000000000..20e0ddfc2
--- /dev/null
+++ b/src/test/ui/trivial-bounds/trivial-bounds-lint.stderr
@@ -0,0 +1,50 @@
+error: trait bound i32: Copy does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:5:21
+   |
+LL | struct A where i32: Copy;
+   |                     ^^^^
+   |
+note: the lint level is defined here
+  --> $DIR/trivial-bounds-lint.rs:3:9
+   |
+LL | #![deny(trivial_bounds)]
+   |         ^^^^^^^^^^^^^^
+
+error: trait bound i32: X<()> does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:18:30
+   |
+LL | fn global_param() where i32: X<()> {}
+   |                              ^^^^^
+
+error: trait bound i32: Z does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:22:35
+   |
+LL | fn global_projection() where i32: Z<S = i32> {}
+   |                                   ^^^^^^^^^^
+
+error: lifetime bound i32: 'static does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:29:34
+   |
+LL | fn global_lifetimes() where i32: 'static, &'static str: 'static {}
+   |                                  ^^^^^^^
+
+error: lifetime bound &'static str: 'static does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:29:57
+   |
+LL | fn global_lifetimes() where i32: 'static, &'static str: 'static {}
+   |                                                         ^^^^^^^
+
+error: lifetime bound 'static: 'static does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:35:37
+   |
+LL | fn global_outlives() where 'static: 'static {}
+   |                                     ^^^^^^^
+
+error: trait bound i32: Copy does not depend on any type or lifetime parameters
+  --> $DIR/trivial-bounds-lint.rs:38:46
+   |
+LL | fn mixed_bounds<T: Copy>() where i32: X<T> + Copy {}
+   |                                              ^^^^
+
+error: aborting due to 7 previous errors
+