From f3e46c278d5894637d5d61969b82118776ccee2e Mon Sep 17 00:00:00 2001 From: Som Snytt Date: Mon, 3 Nov 2025 10:29:49 -0800 Subject: [PATCH] Augment regression test --- tests/warn/i23694.scala | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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) + } +}