-
Notifications
You must be signed in to change notification settings - Fork 372
Open
Description
Read.derived[(String, Int)] compiles just fine while Read.derived[(a: String, b: Int)] fails with an error:
//> using scala 3.7.3
//> using dep "org.tpolecat::doobie-core::1.0.0-RC10"
import doobie.*
import doobie.implicits.*
val _ = Read.derived[(String, Int)]
val _ = Read.derived[(a: String, b: Int)]
@main
def main() = {}Compiling project (Scala 3.7.3, JVM (21))
[error] ./sc.scala:8:22
[error] Type argument (a : String, b : Int) does not conform to upper bound Product
[error] val _ = Read.derived[(a: String, b: Int)]
[error] ^
Error compiling project (Scala 3.7.3, JVM (21))
Metadata
Metadata
Assignees
Labels
No labels