fix scala#1743: fix typing of ValDef with anonymous class

liufengyun · liufengyun · commit a54705475044 · 2016-11-25T13:38:05.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -588,7 +588,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
       else pt.notApplied
     val expr1 = typedExpr(tree.expr, ept)(exprCtx)
     ensureNoLocalRefs(
-        assignType(cpy.Block(tree)(stats1, expr1), stats1, expr1), pt, localSyms(stats1))
+        assignType(cpy.Block(tree)(stats1, expr1), stats1, expr1), pt, localSyms(stats1).filter(_.isTerm))
   }
 
   def escapingRefs(block: Tree, localSyms: => List[Symbol])(implicit ctx: Context): collection.Set[NamedType] = {

Original file line number	Diff line number	Diff line change
`@@ -588,7 +588,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit`
`588`	`588`	`else pt.notApplied`
`589`	`589`	`val expr1 = typedExpr(tree.expr, ept)(exprCtx)`
`590`	`590`	`ensureNoLocalRefs(`
`591`		`- assignType(cpy.Block(tree)(stats1, expr1), stats1, expr1), pt, localSyms(stats1))`
	`591`	`+ assignType(cpy.Block(tree)(stats1, expr1), stats1, expr1), pt, localSyms(stats1).filter(_.isTerm))`
`592`	`592`	`}`
`593`	`593`
`594`	`594`	`def escapingRefs(block: Tree, localSyms: => List[Symbol])(implicit ctx: Context): collection.Set[NamedType] = {`