src/test/ui/const-generics/invariant.nll.stderr

   1 warning: conflicting implementations of trait `SadBee` for type `for<'a> fn(&'a ())`
   2   --> $DIR/invariant.rs:14:1
   3    |
   4 LL | impl SadBee for for<'a> fn(&'a ()) {
   5    | ---------------------------------- first implementation here
   6 ...
   7 LL | impl SadBee for fn(&'static ()) {
   8    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `for<'a> fn(&'a ())`
   9    |
  10    = note: `#[warn(coherence_leak_check)]` on by default
  11    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  12    = note: for more information, see issue #56105 <https://github.com/rust-lang/rust/issues/56105>
  13    = note: this behavior recently changed as a result of a bug fix; see rust-lang/rust#56105 for details
  14
  15 error[E0308]: mismatched types
  16   --> $DIR/invariant.rs:27:5
  17    |
  18 LL |     v
  19    |     ^ one type is more general than the other
  20    |
  21    = note: expected reference `&Foo<fn(&())>`
  22               found reference `&Foo<for<'a> fn(&'a ())>`
  23
  24 error: aborting due to previous error; 1 warning emitted
  25
  26 For more information about this error, try `rustc --explain E0308`.