tests/ui/specialization/defaultimpl/specialization-wfcheck.stderr

   1 warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
   2   --> $DIR/specialization-wfcheck.rs:3:12
   3    |
   4 LL | #![feature(specialization)]
   5    |            ^^^^^^^^^^^^^^
   6    |
   7    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
   8    = help: consider using `min_specialization` instead, which is more stable and complete
   9    = note: `#[warn(incomplete_features)]` on by default
  10
  11 error[E0277]: the trait bound `U: Eq` is not satisfied
  12   --> $DIR/specialization-wfcheck.rs:7:17
  13    |
  14 LL | default impl<U> Foo<'static, U> for () {}
  15    |                 ^^^^^^^^^^^^^^^ the trait `Eq` is not implemented for `U`
  16    |
  17 note: required by a bound in `Foo`
  18   --> $DIR/specialization-wfcheck.rs:5:18
  19    |
  20 LL | trait Foo<'a, T: Eq + 'a> { }
  21    |                  ^^ required by this bound in `Foo`
  22 help: consider restricting type parameter `U`
  23    |
  24 LL | default impl<U: std::cmp::Eq> Foo<'static, U> for () {}
  25    |               ++++++++++++++
  26
  27 error: aborting due to previous error; 1 warning emitted
  28
  29 For more information about this error, try `rustc --explain E0277`.