Applied review comments

Updated test check files and Markdown syntax used in Scaladoc

Author: mucciolo

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3453,11 +3453,8 @@ object Types {
     }
 
     /** Returns the set of non-union (leaf) types composing this union tree with Nothing types
-     *  absorbed by other types, if present.
-     *  For example:
-     *  {{{A | B | C | B | (A & (B | C)) | Nothing}}}
-     *  returns
-     *  {{{Set(A, B, C, (A & (B | C)))}}}
+     *  absorbed by other types, if present. For example:<br>
+     *  `(A | B | C | B | (A & (B | C)) | Nothing)` returns `Set(A, B, C, (A & (B | C)))`.
      */
     private def gatherTreeUniqueMembersAbsorbingNothingTypes(using Context): Set[Type] = {
       (tp1, tp2) match

tests/neg/i14823a.check

@@ -1,24 +1,24 @@
 -- Error: tests/neg/i14823a.scala:16:51 --------------------------------------------------------------------------------
 16 |val foo = summon[Mirror.Of[Box[Int] | Box[String]]] // error
    |                                                   ^
-   |No given instance of type deriving.Mirror.Of[Box[Int] | Box[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Box[Int] | Box[String]]: 
+   |No given instance of type deriving.Mirror.Of[Box[Int] | Box[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Box[Int] | Box[String]]:
    |	* type `Box[Int] | Box[String]` is not a generic product because its subpart `Box[Int] | Box[String]` is a top-level union type.
    |	* type `Box[Int] | Box[String]` is not a generic sum because its subpart `Box[Int] | Box[String]` is a top-level union type.
 -- Error: tests/neg/i14823a.scala:17:61 --------------------------------------------------------------------------------
 17 |val bar = summon[MirrorK1.Of[[X] =>> Box[Int] | Box[String]]] // error
    |                                                             ^
-   |No given instance of type MirrorK1.Of[[X] =>> Box[Int] | Box[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type MirrorK1.Of[[X] =>> Box[Int] | Box[String]]: 
+   |No given instance of type MirrorK1.Of[[X] =>> Box[Int] | Box[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type MirrorK1.Of[[X] =>> Box[Int] | Box[String]]:
    |	* type `[A] =>> Box[Int] | Box[String]` is not a generic product because its subpart `Box[Int] | Box[String]` is a top-level union type.
    |	* type `[A] =>> Box[Int] | Box[String]` is not a generic sum because its subpart `Box[Int] | Box[String]` is a top-level union type.
 -- Error: tests/neg/i14823a.scala:18:60 --------------------------------------------------------------------------------
 18 |def baz = summon[deriving.Mirror.Of[Foo[Int] | Foo[String]]] // error
    |                                                            ^
-   |No given instance of type deriving.Mirror.Of[Foo[Int] | Foo[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Foo[Int] | Foo[String]]: 
+   |No given instance of type deriving.Mirror.Of[Foo[Int] | Foo[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Foo[Int] | Foo[String]]:
    |	* type `Foo[Int] | Foo[String]` is not a generic product because its subpart `Foo[Int] | Foo[String]` is a top-level union type.
    |	* type `Foo[Int] | Foo[String]` is not a generic sum because its subpart `Foo[Int] | Foo[String]` is a top-level union type.
 -- Error: tests/neg/i14823a.scala:20:66 --------------------------------------------------------------------------------
 20 |def qux = summon[deriving.Mirror.Of[Option[Int] | Option[String]]] // error
    |                                                                  ^
-   |No given instance of type deriving.Mirror.Of[Option[Int] | Option[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Option[Int] | Option[String]]: 
+   |No given instance of type deriving.Mirror.Of[Option[Int] | Option[String]] was found for parameter x of method summon in object Predef. Failed to synthesize an instance of type deriving.Mirror.Of[Option[Int] | Option[String]]:
    |	* type `Option[Int] | Option[String]` is not a generic product because its subpart `Option[Int] | Option[String]` is a top-level union type.
    |	* type `Option[Int] | Option[String]` is not a generic sum because its subpart `Option[Int] | Option[String]` is a top-level union type.

tests/printing/i10693.check

@@ -1,22 +1,22 @@
 [[syntax trees at end of                     typer]] // tests/printing/i10693.scala
 package <empty> {
   final lazy module val i10693$package: i10693$package = new i10693$package()
-  final module class i10693$package() extends Object() { 
+  final module class i10693$package() extends Object() {
     this: i10693$package.type =>
     def test[A >: Nothing <: Any, B >: Nothing <: Any](a: A, b: B): A | B = a
     val v0: String | Int = test[String, Int]("string", 1)
     val v1: Int | String = test[Int, String](1, "string")
-    val v2: String | Int = test[(String | Int), (Int | String)](v0, v1)
-    val v3: Int | String = test[(Int | String), (String | Int)](v1, v0)
-    val v4: String | Int = test[(String | Int), (Int | String)](v2, v3)
-    val v5: Int | String = test[(Int | String), (String | Int)](v3, v2)
-    val v6: String | Int = test[(String | Int), (Int | String)](v4, v5)
+    val v2: String | Int = test[String | Int, Int | String](v0, v1)
+    val v3: Int | String = test[Int | String, String | Int](v1, v0)
+    val v4: String | Int = test[String | Int, Int | String](v2, v3)
+    val v5: Int | String = test[Int | String, String | Int](v3, v2)
+    val v6: String | Int = test[String | Int, Int | String](v4, v5)
     val t0: List[Int] = Tuple1.apply[Int](1).toList
     val t1: List[Int] = Tuple2.apply[Int, Int](1, 2).toList
     val t2: List[Int] = Tuple3.apply[Int, Int, Int](1, 2, 3).toList
-    val t3: List[Int | String] = 
+    val t3: List[Int | String] =
       Tuple3.apply[String, Int, Int]("A", 2, 3).toList
-    val t4: List[String | Int] = 
+    val t4: List[String | Int] =
       Tuple3.apply[Int, String, String](1, "B", "C").toList
   }
 }