Skip to content

Commit

Permalink
Add regression test for scala#20288 fixed in scala#20527
Browse files Browse the repository at this point in the history
  • Loading branch information
EugeneFlesselle committed Jun 28, 2024
1 parent fff4ee6 commit 161102c
Showing 1 changed file with 23 additions and 0 deletions.
23 changes: 23 additions & 0 deletions tests/pos/i20288.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@

trait Decoder[A]
object Decoder {
given Decoder[DataRow] = ???
extension [A <: Tuple](d: Decoder[A])
def ~[B](fd: Field[B]): Decoder[Tuple.Concat[A, Tuple1[B]]] = ???
}

trait Field[A]
object Field:
val int: Field[Int] = ???
extension [A](self: Field[A])
def ~[B](that: Field[B])(using Decoder[DataRow]): Decoder[(A, B)] = ???

trait DataRow
def simpleQuery[S, A](query: String)(using Decoder[A]): Either[Throwable, A] = ???

@main def Test = {
import Decoder.*
val fails = simpleQuery("")(using
Field.int ~ Field.int ~ Field.int
)
}

0 comments on commit 161102c

Please sign in to comment.