Make openedTrees a map with default

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -125,7 +125,7 @@ object Types {
     def isRef(sym: Symbol)(implicit ctx: Context): Boolean = stripAnnots.stripTypeVar match {
       case this1: TypeRef =>
         this1.info match { // see comment in Namer#typeDefSig
-          case TypeAlias(tp) => assert(tp ne this); tp.isRef(sym)
+          case TypeAlias(tp) => assert((tp ne this) && (tp ne this), tp); tp.isRef(sym)
           case _ =>  this1.symbol eq sym
         }
       case this1: RefinedOrRecType => this1.parent.isRef(sym)

compiler/src/dotty/tools/dotc/interactive/InteractiveDriver.scala

@@ -45,7 +45,10 @@ class InteractiveDriver(settings: List[String]) extends Driver {
   def currentCtx: Context = myCtx
 
   private val myOpenedFiles = new mutable.LinkedHashMap[URI, SourceFile]
-  private val myOpenedTrees = new mutable.LinkedHashMap[URI, List[SourceTree]]
+
+  private val myOpenedTrees = new mutable.LinkedHashMap[URI, List[SourceTree]] {
+    override def default(key: URI) = Nil
+  }
 
   def openedFiles: Map[URI, SourceFile] = myOpenedFiles
   def openedTrees: Map[URI, List[SourceTree]] = myOpenedTrees

language-server/src/dotty/tools/languageserver/DottyLanguageServer.scala

@@ -297,7 +297,7 @@ class DottyLanguageServer extends LanguageServer
     implicit val ctx = driver.currentCtx
 
     val pos = sourcePosition(driver, uri, params.getPosition)
-    val tp = Interactive.enclosingType(driver.openedTrees.getOrElse(uri, Nil), pos)
+    val tp = Interactive.enclosingType(driver.openedTrees(uri), pos)
     val tpw = tp.widenTermRefExpr
 
     if (tpw == NoType) new Hover