Survive error types in base types

odersky · odersky · commit b18f417b446e · 2019-03-29T14:01:16.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -1558,7 +1558,7 @@ object SymDenotations {
         case p :: parents1 =>
           p.classSymbol match {
             case pcls: ClassSymbol => builder.addAll(pcls.baseClasses)
-            case _ => assert(isRefinementClass || ctx.mode.is(Mode.Interactive), s"$this has non-class parent: $p")
+            case _ => assert(isRefinementClass || p.isError || ctx.mode.is(Mode.Interactive), s"$this has non-class parent: $p")
           }
           traverse(parents1)
         case nil =>

Original file line number	Diff line number	Diff line change
`@@ -1558,7 +1558,7 @@ object SymDenotations {`
`1558`	`1558`	`case p :: parents1 =>`
`1559`	`1559`	`p.classSymbol match {`
`1560`	`1560`	`case pcls: ClassSymbol => builder.addAll(pcls.baseClasses)`
`1561`		`- case _ => assert(isRefinementClass \|\| ctx.mode.is(Mode.Interactive), s"$this has non-class parent: $p")`
	`1561`	`+ case _ => assert(isRefinementClass \|\| p.isError \|\| ctx.mode.is(Mode.Interactive), s"$this has non-class parent: $p")`
`1562`	`1562`	`}`
`1563`	`1563`	`traverse(parents1)`
`1564`	`1564`	`case nil =>`