Fix #12267: reset constraint in exploration

liufengyun · liufengyun · commit ed6a57ea81e4 · 2021-05-03T11:03:08.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeOps.scala b/compiler/src/dotty/tools/dotc/core/TypeOps.scala
@@ -679,6 +679,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
`@@ -679,6 +679,7 @@ object TypeOps:`
`679`	`679`	`val childTp = if (child.isTerm) child.termRef else child.typeRef`
`680`	`680`
`681`	`681`	`inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds) {`
	`682`	`+ ctx.typerState.constraint = OrderingConstraint.empty`
`682`	`683`	`instantiateToSubType(childTp, parent).dealias`
`683`	`684`	`}`
`684`	`685`	`}`