Comment out accidentally committed sanity check

abgruszecki · abgruszecki · commit 65e2aa29cd89 · 2019-05-06T17:36:57.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala b/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -204,7 +204,7 @@ final class ProperGadtConstraint private(
           }
         retrieveBounds
           //.reporting({ res => i"gadt bounds $sym: $res" }, gadts)
-          .ensuring(containsNoInternalTypes(_))
+          //.ensuring(containsNoInternalTypes(_))
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -204,7 +204,7 @@ final class ProperGadtConstraint private(`
`204`	`204`	`}`
`205`	`205`	`retrieveBounds`
`206`	`206`	`//.reporting({ res => i"gadt bounds $sym: $res" }, gadts)`
`207`		`- .ensuring(containsNoInternalTypes(_))`
	`207`	`+ //.ensuring(containsNoInternalTypes(_))`
`208`	`208`	`}`
`209`	`209`	`}`
`210`	`210`