summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/negative-impls/positive-specializes-negative.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/negative-impls/positive-specializes-negative.stderr')
-rw-r--r--src/test/ui/traits/negative-impls/positive-specializes-negative.stderr21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/traits/negative-impls/positive-specializes-negative.stderr b/src/test/ui/traits/negative-impls/positive-specializes-negative.stderr
new file mode 100644
index 000000000..c091bc81d
--- /dev/null
+++ b/src/test/ui/traits/negative-impls/positive-specializes-negative.stderr
@@ -0,0 +1,21 @@
+warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
+ --> $DIR/positive-specializes-negative.rs:1:12
+ |
+LL | #![feature(specialization)]
+ | ^^^^^^^^^^^^^^
+ |
+ = note: `#[warn(incomplete_features)]` on by default
+ = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
+ = help: consider using `min_specialization` instead, which is more stable and complete
+
+error[E0751]: found both positive and negative implementation of trait `MyTrait` for type `u32`:
+ --> $DIR/positive-specializes-negative.rs:7:1
+ |
+LL | impl<T> !MyTrait for T {}
+ | ---------------------- negative implementation here
+LL | impl MyTrait for u32 {}
+ | ^^^^^^^^^^^^^^^^^^^^ positive implementation here
+
+error: aborting due to previous error; 1 warning emitted
+
+For more information about this error, try `rustc --explain E0751`.