diff --git a/tests/warn/i23694.scala b/tests/warn/i23694.scala index f29a6dbde7f2..e407a2955dc9 100644 --- a/tests/warn/i23694.scala +++ b/tests/warn/i23694.scala @@ -25,3 +25,20 @@ package net.marek.tyre.automaton: val i: T, ): def build = "27" + +// duplicate issue #24326 + +trait Local[F[_], E] { + + def liftTo[G[_]]: Local[G, E] = + new Local.Lifted(this) +} + +object Local { + private final class Lifted[F[_], G[_], E]( + val underlying: Local[F, E], + ) extends Local[G, E] { + override def liftTo[H[_]]: Local[H, E] = + new Lifted(underlying) + } +}