NoSuchElementException when lifting a Type #10127
Comments
|
Workaround and ideal code: import scala.quoted._
object T {
def impl[A: Type](using ctx: QuoteContext): Expr[Unit] = {
Expr.summon[A]
'{}
}
} |
|
@nicolasstucki while ideal, it is not always possible. |
|
Could you provide an example? |
|
@nicolasstucki something like that import scala.quoted._
case class T(t: Type[_])
object T {
def impl[A](t: T)(using ctx: QuoteContext): Expr[Unit] = {
Expr.summon[t.t.Underlying]
'{}
}
} |
|
In those cases you can give it a name using a quote pattern import scala.quoted._
case class T(t: Type[_ <: Any])
object T {
def impl[A](t: T)(using Quotes): Expr[Unit] = {
t.t match
case '[x] =>
Expr.summon[x]
'{}
}
} |
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Dec 18, 2020
The tags may be unavailablle due to the error.
|
@nicolasstucki while trying to adapt my code to your example I hit a "match may not be exhaustive" warning (and it actually doesn't matched at runtime). import scala.quoted._
enum TT:
case T(t: Type[_])
object T {
def impl[A](t: TT)(using Quotes): Expr[Unit] = {
t match // match may not be exhaustive
case TT.T('[x]) =>
Expr.summon[x]
'{}
}
}Is it supposed to work without |
I checked and it seems it doesn't :( |
nicolasstucki
added a commit
that referenced
this issue
Jan 4, 2021
Fix #10127: Don't try to get tags after error
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Minimized code
Output
Expectation
The text was updated successfully, but these errors were encountered: