Fix some problems in Inliner

 1. Don't retypecheck the arguments of an inlined epressions.
    These might be very large (e.g. inlined track, or traceIndented in dotty)/

 2. Keep track of inlined calls in context instead of
    Inlined nodes. We only need the to compute the source file, the rest
    is irrelevant.

 3. In Def bindings of inlined by-name parameters, change owner of right
    hand side. Otherwise we get incorrect owner chains.

 4. In TreeTypeMap, treat Inlined in the same way as a block.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index e809605f4..09259b361 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -947,7 +947,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
 
   def typedInlined(tree: untpd.Inlined, pt: Type)(implicit ctx: Context): Inlined = {
     val (exprCtx, bindings1) = typedBlockStats(tree.bindings)
-    val expansion1 = typed(tree.expansion, pt)(Inliner.inlineContext(tree)(exprCtx))
+    val expansion1 = typed(tree.expansion, pt)(Inliner.inlineContext(tree.call)(exprCtx))
     cpy.Inlined(tree)(tree.call, bindings1.asInstanceOf[List[MemberDef]], expansion1)
       .withType(expansion1.tpe)
   }