File tree Expand file tree Collapse file tree 4 files changed +10
-10
lines changed Expand file tree Collapse file tree 4 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 1- //> using scala " 3.2.1"
1+ // ! > using scala "3.2.1"
22
33import scala .compiletime .ops .int ._
44
Original file line number Diff line number Diff line change 1- //> using scala " 3.3.1"
2- //> using dep org.http4s::http4s-ember-client:1.0.0-M40
3- //> using dep org.http4s::http4s-ember-server:1.0.0-M40
4- //> using dep org.http4s::http4s-dsl:1.0.0-M40
1+ // ! > using scala "3.3.1"
2+ // ! > using dep org.http4s::http4s-ember-client:1.0.0-M40
3+ // ! > using dep org.http4s::http4s-ember-server:1.0.0-M40
4+ // ! > using dep org.http4s::http4s-dsl:1.0.0-M40
55
66// import cats.effect.*
77// import cats.implicits.*
Original file line number Diff line number Diff line change 55 |---------------------------------------------------------------------------------------------------------------------
66 | Explanation (enabled by `-explain`)
77 |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
8- | Referencing `T` inside a quoted expression requires a `scala.quoted.Type[T]` to be in scope.
8+ | Referencing `T` inside a quoted expression requires a `scala.quoted.Type[T]` to be in scope.
99 | Since Scala is subject to erasure at runtime, the type information will be missing during the execution of the code.
10- | `scala.quoted.Type[T]` is therefore needed to carry `T`'s type information into the quoted code.
11- | Without an implicit `scala.quoted.Type[T]`, the type `T` cannot be properly referenced within the expression.
10+ | `scala.quoted.Type[T]` is therefore needed to carry `T`'s type information into the quoted code.
11+ | Without an implicit `scala.quoted.Type[T]`, the type `T` cannot be properly referenced within the expression.
1212 | To resolve this, ensure that a `scala.quoted.Type[T]` is available, either through a context-bound or explicitly.
1313 ---------------------------------------------------------------------------------------------------------------------
Original file line number Diff line number Diff line change 1- //> using scala 3.6.0 -RC1-bin-SNAPSHOT
1+ // ! > using scala 3.6.0-RC1-bin-SNAPSHOT
22
33import language .experimental .captureChecking
44
@@ -8,4 +8,4 @@ def run[Cap^](f: Box[Cap]^{Cap^} => Unit): Box[Cap]^{Cap^} = ???
88
99def main () =
1010 val b = run(_ => ())
11- // val b = run[caps.CapSet](_ => ()) // this compiles
11+ // val b = run[caps.CapSet](_ => ()) // this compiles
You can’t perform that action at this time.
0 commit comments