Disable sanity check as in bounds

liufengyun · liufengyun · commit f97d6de44342 · 2020-10-28T11:13:22.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala b/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -173,7 +173,7 @@ final class ProperGadtConstraint private(
       case null => null
       case tv =>
         fullBounds(tv.origin)
-          .ensuring(containsNoInternalTypes(_))
+          // .ensuring(containsNoInternalTypes(_))
     }
 
   override def bounds(sym: Symbol)(using Context): TypeBounds =

Original file line number	Diff line number	Diff line change
`@@ -173,7 +173,7 @@ final class ProperGadtConstraint private(`
`173`	`173`	`case null => null`
`174`	`174`	`case tv =>`
`175`	`175`	`fullBounds(tv.origin)`
`176`		`- .ensuring(containsNoInternalTypes(_))`
	`176`	`+ // .ensuring(containsNoInternalTypes(_))`
`177`	`177`	`}`
`178`	`178`
`179`	`179`	`override def bounds(sym: Symbol)(using Context): TypeBounds =`