Add INSUPERCALL flag to pickle format.

Reason: It is really hard to establish when a context is a
inSuperCall context when unpickling trees. The unpickler does
not have the ability to look inside (untyped) trees, so  it is
tricky/messy to detect a super.<init> or this.<init> Apply in a
constructor body.

Also: Always pickle template constructors.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/core/pickling/TreePickler.scala b/src/dotty/tools/dotc/core/pickling/TreePickler.scala
index 7855f5d3e..801d3edb6 100644
--- a/src/dotty/tools/dotc/core/pickling/TreePickler.scala
+++ b/src/dotty/tools/dotc/core/pickling/TreePickler.scala
@@ -366,7 +366,7 @@ class TreePickler(pickler: TastyPickler, picklePositions: Boolean) {
           tree.parents.foreach(pickleTree)
           if (!tree.self.isEmpty)
             pickleDef(PARAM, tree.self.symbol, tree.self.tpt, EmptyTree)
-          pickleTreeIfNonEmpty(tree.constr)
+          pickleTree(tree.constr)
           tree.body.foreach(pickleTree)
         }
       case Import(expr, selectors) =>
@@ -433,6 +433,7 @@ class TreePickler(pickler: TastyPickler, picklePositions: Boolean) {
       if (flags is Synthetic) writeByte(SYNTHETIC)
       if (flags is Artifact) writeByte(ARTIFACT)
       if (flags is Scala2x) writeByte(SCALA2X) 
+      if (flags is InSuperCall) writeByte(INSUPERCALL)
       if (sym.isTerm) {
         if (flags is Implicit) writeByte(IMPLICIT)
         if (flags is Lazy) writeByte(LAZY)