Merge pull request #8003 from dotty-staging/fix-#8002

Fix #8002: Drop wrong assertion

Author: anatoliykmetyuk

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

@@ -484,11 +484,7 @@ trait Applications extends Compatibility {
             cx.denotNamed(meth.name).hasAltWith(_.symbol == meth)) {
             val denot = cx.denotNamed(getterName)
             if (denot.exists) ref(TermRef(cx.owner.thisType, getterName, denot))
-            else {
-              assert(ctx.mode.is(Mode.Interactive) || ctx.reporter.errorsReported,
-                s"non-existent getter denotation ($denot) for getter($getterName)")
-              findGetter(cx.outer)
-            }
+            else findGetter(cx.outer)
           }
           else findGetter(cx.outer)
         findGetter(ctx)

tests/neg/i8002.scala

@@ -0,0 +1,5 @@
+class Foo
+  def f(x: Int, y: Int = 1) = ???
+
+object bar extends Foo
+  f()  // error: missing argument