Update compiler/src/dotty/tools/dotc/typer/Typer.scala

odersky · smarter · web-flow · commit a38a6a731652 · 2019-07-01T21:43:25.000+02:00
Co-Authored-By: Guillaume Martres &lt;smarter@ubuntu.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -715,7 +715,7 @@ class Typer extends Namer
 
   def escapingRefs(block: Tree, localSyms: => List[Symbol])(implicit ctx: Context): collection.Set[NamedType] = {
     lazy val locals = localSyms.toSet
-    block.tpe.namedPartsWith(tp => locals.contains(tp.symbol) && !tp.widen.isErroneous)
+    block.tpe.namedPartsWith(tp => locals.contains(tp.symbol) && !tp.isErroneous)
   }
 
   /** Ensure that an expression's type can be expressed without references to locally defined

Original file line number	Diff line number	Diff line change
`@@ -715,7 +715,7 @@ class Typer extends Namer`
`715`	`715`
`716`	`716`	`def escapingRefs(block: Tree, localSyms: => List[Symbol])(implicit ctx: Context): collection.Set[NamedType] = {`
`717`	`717`	`lazy val locals = localSyms.toSet`
`718`		`- block.tpe.namedPartsWith(tp => locals.contains(tp.symbol) && !tp.widen.isErroneous)`
	`718`	`+ block.tpe.namedPartsWith(tp => locals.contains(tp.symbol) && !tp.isErroneous)`
`719`	`719`	`}`
`720`	`720`
`721`	`721`	`/** Ensure that an expression's type can be expressed without references to locally defined`