AssertionError with Ycheck:all on a case class extending Any

[sir-wabbit]

// Compile with -Ycheck:all
object i0 {
  case class i1() extends Any
}

Exception in thread "main" java.lang.AssertionError: assertion failed: symbols differ for this.eq
was                 : method eq
alternatives by type:  of types 
qualifier type      : i0.i1(i1.this)
tree type           : ((x$0: Object): Boolean)(i1.this.eq) of class class dotty.tools.dotc.core.Types$CachedTermRef
	at dotty.DottyPredef$.assertFail(DottyPredef.scala:38)
	at dotty.tools.dotc.transform.TreeChecker$Checker.typedSelect(TreeChecker.scala:346)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1799)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1868)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
	at dotty.tools.dotc.transform.TreeChecker$Checker.typedUnadapted(TreeChecker.scala:282)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1896)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1912)
	at dotty.tools.dotc.transform.TreeChecker$Checker.typed(TreeChecker.scala:270)

AE-3b3b6b8b578c2152ae06a6647f65684de4d4605d

[nicolasstucki]

https://github.com/lampepfl/dotty/blob/master/tests/pending/fuzzy/AE-3b3b6b8b578c2152ae06a6647f65684de4d4605d.scala