More More debugging

Blaisorblade · Blaisorblade · commit 819953e5d17e · 2018-08-12T16:39:58.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -694,6 +694,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
       minimizeAll = false,
       maximizeAll = true
     )
+    debug.println(s"removeThisType.prefixTVar.bounds(${Option(removeThisType.prefixTVar).map(_.asInstanceOf[TypeVar].origin.underlying.bounds.show)}")
 
     // If parent contains a reference to an abstract type, then we should
     // refine subtype checking to eliminate abstract types according to

Original file line number	Diff line number	Diff line change
`@@ -694,6 +694,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {`
`694`	`694`	`minimizeAll = false,`
`695`	`695`	`maximizeAll = true`
`696`	`696`	`)`
	`697`	`+ debug.println(s"removeThisType.prefixTVar.bounds(${Option(removeThisType.prefixTVar).map(_.asInstanceOf[TypeVar].origin.underlying.bounds.show)}")`
`697`	`698`
`698`	`699`	`// If parent contains a reference to an abstract type, then we should`
`699`	`700`	`// refine subtype checking to eliminate abstract types according to`