Compute PureInterface flag after pickling.

ElimLocals becomes a slightly less trivial transform: NormalizeFlags.
It also computes PureInterface flag, thus relieving Namer and Unpickler
from doing the same in two different ways. Besides, the computation in
Namer/TreeInfo was flawed because it did not take into account that
nested non-static classes are not allowed in an interface (only static
classes are, but these would not be members of the interface in the Scala
sense).

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/pickleOK/partialApplications.scala b/tests/pos/pickleOK/partialApplications.scala
new file mode 100644
index 000000000..f517011b9
--- /dev/null
+++ b/tests/pos/pickleOK/partialApplications.scala
@@ -0,0 +1,13 @@
+object PartialApplications {
+
+  type Histogram = Map[_, Int]
+
+  type StringlyHistogram = Histogram[_ >: String]
+
+  val xs: Histogram[String] = Map[String, Int]()
+
+  val ys: StringlyHistogram[String] = xs
+
+  val zs: StringlyHistogram = xs
+
+}