Merge pull request #7719 from dotty-staging/fix-#7711

Fix #7711: Allow RefinedTpts to be shared

Author: smarter

compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala

@@ -552,6 +552,7 @@ class TreePickler(pickler: TastyPickler) {
           if (refinements.isEmpty) pickleTree(parent)
           else {
             val refineCls = refinements.head.symbol.owner.asClass
+            registerDef(refineCls)
             pickledTypes.put(refineCls.typeRef, currentAddr)
             writeByte(REFINEDtpt)
             refinements.foreach(preRegister)

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -1167,7 +1167,9 @@ class TreeUnpickler(reader: TastyReader,
               val argPats = until(end)(readTerm())
               UnApply(fn, implicitArgs, argPats, patType)
             case REFINEDtpt =>
-              val refineCls = ctx.newRefinedClassSymbol(coordAt(start))
+              val refineCls = symAtAddr.getOrElse(start,
+                ctx.newRefinedClassSymbol(coordAt(start))).asClass
+              registerSym(start, refineCls)
               typeAtAddr(start) = refineCls.typeRef
               val parent = readTpt()
               val refinements = readStats(refineCls, end)(localContext(refineCls))

tests/pos/i7711/crash1_1.scala

@@ -0,0 +1,9 @@
+package scalaLibV
+
+import reflect.Selectable.reflectiveSelectable
+
+// Church-encoded Booleans, in DOT.
+type IFT = (x : { type IFTA }) => x.IFTA => x.IFTA => x.IFTA
+
+val iftTrue : IFT =
+  x => t => f => t

tests/pos/i7711/crash2_1.scala

@@ -0,0 +1,8 @@
+package listV
+
+//import reflect.Selectable.reflectiveSelectable
+import scalaLibV._
+
+object sci {
+  val isEmpty = iftTrue
+}

tests/pos/i7711/crash2_2.scala

@@ -0,0 +1,8 @@
+package listV
+
+//import reflect.Selectable.reflectiveSelectable
+import scalaLibV._
+
+object sci {
+  val isEmpty = iftTrue // 1nd try
+}