i576b.crash

exception occurred while typechecking try/i576b.scala
exception occurred while compiling try/i576b.scala
Exception in thread "main" java.lang.AssertionError: assertion failed: non-existent getter denotation (val <none>) for getter(foo$default$1)
	at scala.Predef$.assert(Predef.scala:165)
	at dotty.tools.dotc.typer.Applications$Application.findGetter$1(Applications.scala:280)
	at dotty.tools.dotc.typer.Applications$Application.findDefaultGetter(Applications.scala:284)
	at dotty.tools.dotc.typer.Applications$Application.tryDefault$1(Applications.scala:327)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:358)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:192)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:434)
	at dotty.tools.dotc.typer.Applications$ApplyToTyped.<init>(Applications.scala:519)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$1.apply(Applications.scala:550)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1$$anonfun$apply$1.apply(Applications.scala:548)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:1249)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:554)
	at dotty.tools.dotc.typer.Applications$$anonfun$realApply$1$1.apply(Applications.scala:530)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Applications$class.realApply$1(Applications.scala:530)
	at dotty.tools.dotc.typer.Applications$class.typedApply(Applications.scala:596)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:57)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1154)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1194)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer$$anonfun$dotty$tools$dotc$typer$Typer$$addImplicitArgs$1$1.apply(Typer.scala:1467)
	at dotty.tools.dotc.typer.Typer$$anonfun$dotty$tools$dotc$typer$Typer$$addImplicitArgs$1$1.apply(Typer.scala:1467)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:1249)
	at dotty.tools.dotc.typer.Typer.dotty$tools$dotc$typer$Typer$$addImplicitArgs$1(Typer.scala:1468)
	at dotty.tools.dotc.typer.Typer$$anonfun$adaptNoArgs$1$2.apply(Typer.scala:1474)
	at dotty.tools.dotc.typer.Typer$$anonfun$adaptNoArgs$1$2.apply(Typer.scala:1474)
	at dotty.tools.dotc.core.MutableTyperState.tryWithFallback(TyperState.scala:176)
	at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:1474)
	at dotty.tools.dotc.typer.Typer.adaptInterpolated(Typer.scala:1581)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$19.apply(Typer.scala:1300)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1$$anonfun$apply$19.apply(Typer.scala:1296)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1296)
	at dotty.tools.dotc.typer.Typer$$anonfun$adapt$1.apply(Typer.scala:1296)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:1295)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1241)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:482)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedBlock$1.apply(Typer.scala:479)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:479)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1162)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1194)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1241)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:955)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:941)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:941)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1142)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1192)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1226)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1237)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:984)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:967)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:967)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1145)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1192)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1226)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1237)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1074)
	at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1065)
	at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1065)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1182)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1194)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1204)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1202)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1202)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1241)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:47)
	at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:23)
	at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:45)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:69)
	at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:69)
	at scala.collection.immutable.List.foreach(List.scala:381)
	at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:69)
	at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:60)
	at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:57)
	at scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)
	at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)
	at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply$mcV$sp(Run.scala:57)
	at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:52)
	at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:52)
	at dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:69)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:52)
	at dotty.tools.dotc.Run.compileSources(Run.scala:49)
	at dotty.tools.dotc.Run.compile(Run.scala:33)
	at dotty.tools.dotc.Driver.doCompile(Driver.scala:21)
	at dotty.tools.dotc.Driver.process(Driver.scala:93)
	at dotty.tools.dotc.Driver.process(Driver.scala:65)
	at dotty.tools.dotc.Driver.process(Driver.scala:77)
	at dotty.tools.dotc.Driver.main(Driver.scala:101)
	at dotty.tools.dotc.Main.main(Main.scala)

i576b.scala

class A

object Impl {
  def foo()(implicit ev: Int, x: A = null): Int = 2
  def test: Int = {
    implicit val ii: Int = 1
    foo()
  }
}