implement unpickling of FLEXIBLEtype

olhotak · olhotak · commit 47e3f9f72314 · 2023-07-17T13:57:55.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala
@@ -415,6 +415,8 @@ class TreeUnpickler(reader: TastyReader,
               readTypeRef() match {
                 case binder: LambdaType => binder.paramRefs(readNat())
               }
+            case FLEXIBLEtype =>
+              FlexibleType(readType())
           }
         assert(currentAddr == end, s"$start $currentAddr $end ${astTagToString(tag)}")
         result

Original file line number	Diff line number	Diff line change
`@@ -415,6 +415,8 @@ class TreeUnpickler(reader: TastyReader,`
`415`	`415`	`readTypeRef() match {`
`416`	`416`	`case binder: LambdaType => binder.paramRefs(readNat())`
`417`	`417`	`}`
	`418`	`+ case FLEXIBLEtype =>`
	`419`	`+ FlexibleType(readType())`
`418`	`420`	`}`
`419`	`421`	`assert(currentAddr == end, s"$start $currentAddr $end ${astTagToString(tag)}")`
`420`	`422`	`result`