We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
def foo: Expr[Option[String]] = '(None)
fails Ycheck with
checking xyz.scala after phase reifyQuotes exception while typing def foo: quoted.Expr[Option[String]] = scala.runtime.quoted.Unpickler.unpickleExpr[None]( scala.collection.immutable.Nil.::[String]( "\\¡«\037\0212\0200\00\00\00\00\00\00\00\00\00\00\00\00\03â\06°\0223\01\0204ASTs\01\0204None\01\0205scala\0200\0204s\02016\0202" ) , scala.collection.immutable.Nil) of class class dotty.tools.dotc.ast.Trees$DefDef # 673
Where unpickleExpr[None] returns an Expr[None]. Probably the T in Expr should be covariant.
unpickleExpr[None]
Expr[None]
T
Expr
The text was updated successfully, but these errors were encountered:
6b27cb6
Merge pull request #4894 from dotty-staging/fix-#4891
f4de761
Fix #4891: Make scala.quoted.Expr covariant
Merge pull request scala#4896 from dotty-staging/fix-#4891
48a4daa
Make subclasses of scala.quoted.Expr covariant
No branches or pull requests
fails Ycheck with
Where
unpickleExpr[None]
returns anExpr[None]
. Probably theT
inExpr
should be covariant.The text was updated successfully, but these errors were encountered: