Fix #12267: reset constraint in exploration

liufengyun · liufengyun · commit cb2598005f92 · 2021-05-03T11:07:37.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeOps.scala b/compiler/src/dotty/tools/dotc/core/TypeOps.scala
@@ -672,6 +672,7 @@ object TypeOps:
     val childTp = if (child.isTerm) child.termRef else child.typeRef
 
     inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds) {
+      ctx.typerState.constraint = OrderingConstraint.empty
       instantiateToSubType(childTp, parent).dealias
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -672,6 +672,7 @@ object TypeOps:`
`672`	`672`	`val childTp = if (child.isTerm) child.termRef else child.typeRef`
`673`	`673`
`674`	`674`	`inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds) {`
	`675`	`+ ctx.typerState.constraint = OrderingConstraint.empty`
`675`	`676`	`instantiateToSubType(childTp, parent).dealias`
`676`	`677`	`}`
`677`	`678`	`}`