File tree Expand file tree Collapse file tree 3 files changed +4
-3
lines changed Expand file tree Collapse file tree 3 files changed +4
-3
lines changed Original file line number Diff line number Diff line change 1- -- [E172] Type Error: tests/neg/scala-uri.scala:30 :59 ------------------------------------------------------------------
2- 30 |@main def Test = summon[QueryKeyValue[(String, None.type)]] // error
1+ -- [E172] Type Error: tests/neg/scala-uri.scala:31 :59 ------------------------------------------------------------------
2+ 31 |@main def Test = summon[QueryKeyValue[(String, None.type)]] // error
33 | ^
44 |No best given instance of type QueryKeyValue[(String, None.type)] was found for parameter x of method summon in object Predef.
55 |I found:
Original file line number Diff line number Diff line change 1+ //> using options -source:3.6
12import scala .language .implicitConversions
23
34trait QueryKey [A ]
Original file line number Diff line number Diff line change 1- //> using options -Xmax-inlines:33
1+ //> using options -Xmax-inlines:35
22
33import scala .deriving .Mirror
44import scala .compiletime ._
You can’t perform that action at this time.
0 commit comments