Minor

Linyxus · Linyxus · commit d49d15ea8f41 · 2022-08-17T15:42:43.000+08:00
diff --git a/compiler/src/dotty/tools/dotc/core/PatternTypeConstrainer.scala b/compiler/src/dotty/tools/dotc/core/PatternTypeConstrainer.scala
@@ -176,8 +176,7 @@ trait PatternTypeConstrainer { self: TypeComparer =>
       case tp => tp
     }
 
-    /** Reconstruct subtype constraints for type members.
-      */
+    /** Reconstruct subtype constraints for type members of the scrutinee and the pattern. */
     def constrainTypeMembers = trace(i"constrainTypeMembers(${scrutRepr(scrut)}, $pat)", gadts, res => s"$res\ngadt = ${ctx.gadt.debugBoundsDescription}") {
       import NameKinds.DepParamName
       val realScrutineePath = ctx.gadt.scrutineePath

Original file line number	Diff line number	Diff line change
`@@ -176,8 +176,7 @@ trait PatternTypeConstrainer { self: TypeComparer =>`
`176`	`176`	`case tp => tp`
`177`	`177`	`}`
`178`	`178`
`179`		`- /** Reconstruct subtype constraints for type members.`
`180`		`- */`
	`179`	`+ /** Reconstruct subtype constraints for type members of the scrutinee and the pattern. */`
`181`	`180`	`def constrainTypeMembers = trace(i"constrainTypeMembers(${scrutRepr(scrut)}, $pat)", gadts, res => s"$res\ngadt = ${ctx.gadt.debugBoundsDescription}") {`
`182`	`181`	`import NameKinds.DepParamName`
`183`	`182`	`val realScrutineePath = ctx.gadt.scrutineePath`