Fix inFrozenGadtIf

Linyxus · Linyxus · commit 1f9812eba1ea · 2021-08-25T14:05:37.000+08:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -172,7 +172,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
 
   private inline def inFrozenGadtIf[T](cond: Boolean)(inline op: T): T = {
     val savedFrozenGadt = frozenGadt
-    frozenGadt = cond
+    frozenGadt ||= cond
     try op finally frozenGadt = savedFrozenGadt
   }
 

Original file line number	Diff line number	Diff line change
`@@ -172,7 +172,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`172`	`172`
`173`	`173`	`private inline def inFrozenGadtIf[T](cond: Boolean)(inline op: T): T = {`
`174`	`174`	`val savedFrozenGadt = frozenGadt`
`175`		`- frozenGadt = cond`
	`175`	`+ frozenGadt \|\|= cond`
`176`	`176`	`try op finally frozenGadt = savedFrozenGadt`
`177`	`177`	`}`
`178`	`178`