Merge pull request #3487 from dotty-staging/fix-match-error-in-tree-accumulator

Fix MatchError: InfixOp on TreeAccumulator

Author: OlivierBlanvillain

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.

tests/neg/i3487.scala

@@ -0,0 +1,4 @@
+object Test {
+  type &:[H, T] = Int
+  val a: F[Int] { type X = Int &: String } = ??? // error
+}