Merge pull request #3192 from dotty-staging/fix-#3189

Fix #3189: Make TreeTypeMap in hoistSuperArgs more robust

Author: odersky

compiler/src/dotty/tools/dotc/transform/HoistSuperArgs.scala

@@ -128,8 +128,10 @@ class HoistSuperArgs extends MiniPhaseTransform with IdentityDenotTransformer {
                   case tp: NamedType
                   if (tp.symbol.owner == cls || tp.symbol.owner == constr) &&
                      tp.symbol.isParamOrAccessor =>
-                    val mappedSym = origToParam(tp.symbol)
-                    if (tp.symbol.isType) mappedSym.typeRef else mappedSym.termRef
+                    origToParam.get(tp.symbol) match {
+                      case Some(mappedSym) => if (tp.symbol.isType) mappedSym.typeRef else mappedSym.termRef
+                      case None => mapOver(tp)
+                    }
                   case _ =>
                     mapOver(tp)
                 }

tests/pos/i3189.scala

@@ -0,0 +1,3 @@
+class Test[A](action: A => A) {
+  def this() = this(a => a)
+}