Recursively drop IgnoredProto parts

odersky · odersky · commit 7d7e35e944b8 · 2019-02-03T19:24:58.000+01:00
When doping a deepenProto, strip all levels of IgnoredProto, not just one.
diff --git a/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala b/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
@@ -107,7 +107,7 @@ object ProtoTypes {
   /** A class marking ignored prototypes that can be revealed by `deepenProto` */
   case class IgnoredProto(ignored: Type) extends UncachedGroundType with MatchAlways {
     override def revealIgnored = ignored.revealIgnored
-    override def deepenProto(implicit ctx: Context): Type = ignored
+    override def deepenProto(implicit ctx: Context): Type = ignored.deepenProto
   }
 
   /** A prototype for expressions [] that are part of a selection operation:

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,7 @@ object ProtoTypes {`
`107`	`107`	/** A class marking ignored prototypes that can be revealed by `deepenProto` */
`108`	`108`	`case class IgnoredProto(ignored: Type) extends UncachedGroundType with MatchAlways {`
`109`	`109`	`override def revealIgnored = ignored.revealIgnored`
`110`		`- override def deepenProto(implicit ctx: Context): Type = ignored`
	`110`	`+ override def deepenProto(implicit ctx: Context): Type = ignored.deepenProto`
`111`	`111`	`}`
`112`	`112`
`113`	`113`	`/** A prototype for expressions [] that are part of a selection operation:`