Closed
Description
Test code:
class Test {
def test = -(1:1 & Any)
}
dotc -Ytest-pickler -Xprint-types Test.scala
:
exception occurred while compiling Test.scala
class dotty.tools.dotc.reporting.diagnostic.messages$Error at ?: pickling difference for class Test in Test.scala, for details:
diff before-pickling.txt after-pickling.txt
:
14c14
< <<(<1:scala.Int> :<1:scala.Int>.type & scala.Any):scala.Int(1)>.unary_-:
---
> <<(<1:scala.Int> :<1:scala.Int>.type & scala.Any):scala.Int>.unary_-:=>
Metadata
Metadata
Assignees
Labels
No labels