Add explanation how isSyntheticEvidence works

Author: romanowski

scaladoc/src/dotty/tools/scaladoc/tasty/ClassLikeSupport.scala

@@ -619,6 +619,13 @@ trait ClassLikeSupport:
 
     def isSyntheticEvidence(name: String) = 
       if !name.startsWith(NameKinds.EvidenceParamName.separator) then false else
+        // This assumes that every parameter that starts with `evidence$` and is implicit is generated by compiler to desugar context bound.
+        // Howrever, this is just a heuristic, so 
+        // `def foo[A](evidence$1: ClassTag[A]) = 1` 
+        // will be documented as
+        // `def foo[A: ClassTag] = 1`. 
+        // Scala spec states that `$` should not be used in names and behaviour may be undefiend in such case.
+        // Documenting method slightly different then its definition is withing the 'undefiend behaviour'.
         symbol.paramSymss.flatten.find(_.name == name).exists(_.flags.is(Flags.Implicit))
 
     def handlePolyType(polyType: PolyType): MemberInfo =

scaladoc/test/dotty/tools/scaladoc/signatures/SignatureTest.scala

@@ -51,8 +51,6 @@ abstract class SignatureTest(
     val unexpectedReport = Option.when(!unexpected.isEmpty)
       (s"Unexpectedly documented signatures:\n${unexpected.mkString("\n")}")
 
-    println("Expecting following signatures: " + expectedFromSources)
-
     val reports = missingReport ++ unexpectedReport
 
     if !reports.isEmpty then