Drop Config.checkKinds

Allows us to drop also the involved knownHK method. Lots of other
cleanups.

1 files changed, 1 insertions, 8 deletions

diff --git a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
index 1da92d723..e8f3d63a9 100644
--- a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
+++ b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
@@ -135,13 +135,6 @@ object Scala2Unpickler {
     denot.info = ClassInfo( // final info, except possibly for typeparams ordering
       denot.owner.thisType, denot.classSymbol, parentRefs, decls, ost)
     denot.updateTypeParams(tparams)
-
-    // Curiously the following line is needed to make pos/i859.scala compile.
-    // This test simply accesses scala.tools.nsc.Global. I could not track down why
-    // the reference is needed - referencing any field of the type parameter
-    // does the trick, no completion is needed (in fact such completion would
-    // cause cyclic references elsewhere).
-    assert(denot.typeParams.forall(_.exists))
   }
 }
 
@@ -593,7 +586,7 @@ class Scala2Unpickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleClas
       val tag = readByte()
       val end = readNat() + readIndex
       if (tag == POLYtpe) {
-        val unusedRestperef = readNat()
+        val unusedRestpeRef = readNat()
         until(end, readSymbolRef).asInstanceOf[List[TypeSymbol]]
       } else Nil
     }