summaryrefslogtreecommitdiffstats
path: root/tests/ui/feature-gates/feature-gate-trivial_bounds.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/feature-gates/feature-gate-trivial_bounds.stderr')
-rw-r--r--tests/ui/feature-gates/feature-gate-trivial_bounds.stderr118
1 files changed, 118 insertions, 0 deletions
diff --git a/tests/ui/feature-gates/feature-gate-trivial_bounds.stderr b/tests/ui/feature-gates/feature-gate-trivial_bounds.stderr
new file mode 100644
index 000000000..1b87ebd9f
--- /dev/null
+++ b/tests/ui/feature-gates/feature-gate-trivial_bounds.stderr
@@ -0,0 +1,118 @@
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:10:14
+ |
+LL | enum E where i32: Foo { V }
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:12:16
+ |
+LL | struct S where i32: Foo;
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:14:15
+ |
+LL | trait T where i32: Foo {}
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:16:15
+ |
+LL | union U where i32: Foo { f: i32 }
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:20:23
+ |
+LL | impl Foo for () where i32: Foo {
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `i32: Foo` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:28:14
+ |
+LL | fn f() where i32: Foo
+ | ^^^^^^^^ the trait `Foo` is not implemented for `i32`
+ |
+ = help: the trait `Foo` is implemented for `()`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the trait bound `String: Neg` is not satisfied
+ --> $DIR/feature-gate-trivial_bounds.rs:36:38
+ |
+LL | fn use_op(s: String) -> String where String: ::std::ops::Neg<Output=String> {
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `String`
+ |
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: `i32` is not an iterator
+ --> $DIR/feature-gate-trivial_bounds.rs:40:20
+ |
+LL | fn use_for() where i32: Iterator {
+ | ^^^^^^^^^^^^^ `i32` is not an iterator
+ |
+ = help: the trait `Iterator` is not implemented for `i32`
+ = note: if you want to iterate between `start` until a value `end`, use the exclusive range syntax `start..end` or the inclusive range syntax `start..=end`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the size for values of type `str` cannot be known at compilation time
+ --> $DIR/feature-gate-trivial_bounds.rs:52:32
+ |
+LL | struct TwoStrs(str, str) where str: Sized;
+ | ^^^^^^^^^^ doesn't have a size known at compile-time
+ |
+ = help: the trait `Sized` is not implemented for `str`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the size for values of type `(dyn A + 'static)` cannot be known at compilation time
+ --> $DIR/feature-gate-trivial_bounds.rs:55:26
+ |
+LL | fn unsized_local() where Dst<dyn A>: Sized {
+ | ^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+ |
+ = help: within `Dst<(dyn A + 'static)>`, the trait `Sized` is not implemented for `(dyn A + 'static)`
+note: required because it appears within the type `Dst<(dyn A + 'static)>`
+ --> $DIR/feature-gate-trivial_bounds.rs:48:8
+ |
+LL | struct Dst<X: ?Sized> {
+ | ^^^
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error[E0277]: the size for values of type `str` cannot be known at compilation time
+ --> $DIR/feature-gate-trivial_bounds.rs:59:30
+ |
+LL | fn return_str() -> str where str: Sized {
+ | ^^^^^^^^^^ doesn't have a size known at compile-time
+ |
+ = help: the trait `Sized` is not implemented for `str`
+ = help: see issue #48214
+ = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
+
+error: aborting due to 11 previous errors
+
+For more information about this error, try `rustc --explain E0277`.