Fix comments

odersky · odersky · commit e9c453941aa5 · 2022-06-13T09:46:32.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2926,12 +2926,7 @@ class TrackingTypeComparer(initctx: Context) extends TypeComparer(initctx) {
       }
     }
 
-    /** Match a single case.
-     *  @return  Some(tp)     if the match succeeds with type `tp`
-     *           Some(NoType) if the match fails, and there is an overlap between pattern and scrutinee
-     *           None         if the match fails and we should consider the following cases
-     *                        because scrutinee and pattern do not overlap
-     */
+    /** Match a single case. */
     def matchCase(cas: Type): MatchResult = trace(i"match case $cas vs $scrut", matchTypes) {
       val cas1 = cas match {
         case cas: HKTypeLambda =>

Original file line number	Diff line number	Diff line change
`@@ -2926,12 +2926,7 @@ class TrackingTypeComparer(initctx: Context) extends TypeComparer(initctx) {`
`2926`	`2926`	`}`
`2927`	`2927`	`}`
`2928`	`2928`
`2929`		`- /** Match a single case.`
`2930`		- * @return Some(tp) if the match succeeds with type `tp`
`2931`		`- * Some(NoType) if the match fails, and there is an overlap between pattern and scrutinee`
`2932`		`- * None if the match fails and we should consider the following cases`
`2933`		`- * because scrutinee and pattern do not overlap`
`2934`		`- */`
	`2929`	`+ /** Match a single case. */`
`2935`	`2930`	`def matchCase(cas: Type): MatchResult = trace(i"match case $cas vs $scrut", matchTypes) {`
`2936`	`2931`	`val cas1 = cas match {`
`2937`	`2932`	`case cas: HKTypeLambda =>`