src/test/ui/coherence/coherence-subtyping.stderr

   1 warning: conflicting implementations of trait `TheTrait` for type `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`
   2   --> $DIR/coherence-subtyping.rs:15:1
   3    |
   4 LL | impl TheTrait for for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8 {}
   5    | ---------------------------------------------------------- first implementation here
   6 LL |
   7 LL | impl TheTrait for for<'a> fn(&'a u8, &'a u8) -> &'a u8 {
   8    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `for<'a, 'b> fn(&'a u8, &'b u8) -> &'a u8`
   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 warning: 1 warning emitted
  16