Merge pull request scala#3487 from dotty-staging/fix-match-error-in-t…

…ree-accumulator Fix MatchError: InfixOp on TreeAccumulator
dotty-staging · Feb 12, 2018 · 759daf2 · 759daf2
2 parents 2729819 + bfd425f
commit 759daf2
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/ast/Trees.scala b/compiler/src/dotty/tools/dotc/ast/Trees.scala
@@ -1324,7 +1324,8 @@ object Trees {
             this(this(x, arg), annot)
           case Thicket(ts) =>
             this(x, ts)
-          case _ if ctx.mode.is(Mode.Interactive) =>
+          case _ if ctx.reporter.errorsReported || ctx.mode.is(Mode.Interactive) =>
+            // In interactive mode, errors might come from previous runs.
             // In case of errors it may be that typed trees point to untyped ones.
             // The IDE can still traverse inside such trees, either in the run where errors
             // are reported, or in subsequent ones.

diff --git a/tests/neg/i3487.scala b/tests/neg/i3487.scala
@@ -0,0 +1,4 @@
+object Test {
+  type &:[H, T] = Int
+  val a: F[Int] { type X = Int &: String } = ??? // error
+}