Merge pull request #2984 from dotty-staging/fix-inline-lambda

Fix #2980: Crash when inlining HK type parameters

Author: smarter

compiler/src/dotty/tools/dotc/ast/TreeTypeMap.scala

@@ -98,6 +98,9 @@ final class TreeTypeMap(
             case ann => ann
           }
           res
+        case tdef @ LambdaTypeTree(tparams, body) =>
+          val (tmap1, tparams1) = transformDefs(tparams)
+          cpy.LambdaTypeTree(tdef)(tparams1, tmap1.transform(body))
         case blk @ Block(stats, expr) =>
           val (tmap1, stats1) = transformDefs(stats)
           val expr1 = tmap1.transform(expr)

tests/pos/i2980.scala

@@ -0,0 +1,13 @@
+trait Foo {
+  def apply[~>[_,_]](x: Int ~> Int): Int ~> Int
+}
+
+object Foo {
+  inline def foo: Foo = new Foo {
+    def apply[~>[_,_]](x: Int ~> Int): Int ~> Int = x
+  }
+
+  def main(args: Array[String]): Unit = {
+    val x = foo((x: Int) => x)
+  }
+}