Fix comments

odersky · Kordyjan · commit e0b563dca857 · 2022-06-22T15:23:38.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2930,12 +2930,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
`@@ -2930,12 +2930,7 @@ class TrackingTypeComparer(initctx: Context) extends TypeComparer(initctx) {`
`2930`	`2930`	`}`
`2931`	`2931`	`}`
`2932`	`2932`
`2933`		`- /** Match a single case.`
`2934`		- * @return Some(tp) if the match succeeds with type `tp`
`2935`		`- * Some(NoType) if the match fails, and there is an overlap between pattern and scrutinee`
`2936`		`- * None if the match fails and we should consider the following cases`
`2937`		`- * because scrutinee and pattern do not overlap`
`2938`		`- */`
	`2933`	`+ /** Match a single case. */`
`2939`	`2934`	`def matchCase(cas: Type): MatchResult = trace(i"match case $cas vs $scrut", matchTypes) {`
`2940`	`2935`	`val cas1 = cas match {`
`2941`	`2936`	`case cas: HKTypeLambda =>`