Qualify assertion

Author: odersky

compiler/src/dotty/tools/dotc/typer/Applications.scala

@@ -366,7 +366,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
             val denot = cx.denotNamed(getterName)
             if (denot.exists) ref(TermRef(cx.owner.thisType, getterName, denot))
             else {
-              assert(ctx.mode.is(Mode.Interactive),
+              assert(ctx.mode.is(Mode.Interactive) || ctx.reporter.errorsReported,
                 s"non-existent getter denotation ($denot) for getter($getterName)")
               findGetter(cx.outer)
             }

tests/neg/parser-stability-3.scala

@@ -0,0 +1,4 @@
+object x0 {
+def x0(x1: x2 = 0, x1 x3) x4 = // error // error // error
+x5 x6 x7[x8[x9 x2]] = x0
+val x10 = x0( )  // error // error