fix scala#9276: check valdef is realizable at pickler

dotty-staging · Mar 22, 2021 · b08821c · b08821c
1 parent 75f7cb3
commit b08821c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
@@ -343,6 +343,11 @@ class TreePickler(pickler: TastyPickler) {
         case _ if tpt.isType => pickleTpt(tpt)
       }
       pickleTreeUnlessEmpty(rhs)
+      mdef match
+        case _: ValDef if !sym.is(StableRealizable) =>
+          // deterministically set the StableRealizable flag before committing to TASTy.
+          CheckRealizable.realizability(sym.termRef)
+        case _ =>
       pickleModifiers(sym, mdef)
     }
     for