return true if the type members can not be constrained

Linyxus · Linyxus · commit ad605964539b · 2022-03-23T14:26:28.000+08:00
diff --git a/compiler/src/dotty/tools/dotc/core/PatternTypeConstrainer.scala b/compiler/src/dotty/tools/dotc/core/PatternTypeConstrainer.scala
@@ -180,7 +180,7 @@ trait PatternTypeConstrainer { self: TypeComparer =>
       def registerPattern = ctx.gadt.addToConstraint(patternPath)   // Pattern path is a freshly-created skolem,
                                                                     // so it will always be un-registered at this point
 
-      val result = registerScrutinee && registerPattern && {
+      val res = !registerScrutinee || !registerPattern || {
         val scrutineeTypeMembers = Map.from {
           ctx.gadt.registeredTypeMembers(scrutineePath) map { x => x.name -> x }
         }

Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@ trait PatternTypeConstrainer { self: TypeComparer =>`
`180`	`180`	`def registerPattern = ctx.gadt.addToConstraint(patternPath) // Pattern path is a freshly-created skolem,`
`181`	`181`	`// so it will always be un-registered at this point`
`182`	`182`
`183`		`- val result = registerScrutinee && registerPattern && {`
	`183`	`+ val res = !registerScrutinee \|\| !registerPattern \|\| {`
`184`	`184`	`val scrutineeTypeMembers = Map.from {`
`185`	`185`	`ctx.gadt.registeredTypeMembers(scrutineePath) map { x => x.name -> x }`
`186`	`186`	`}`