Merge pull request #388 from ckipp01/placeholder

Filter out placeholders so they aren't bound in Dotty

Author: tgodzik

build.sbt

@@ -1,8 +1,8 @@
 import scala.collection.mutable
 
-def scala212 = "2.12.11"
+def scala212 = "2.12.12"
 def scala211 = "2.11.12"
-def scala213 = "2.13.2"
+def scala213 = "2.13.3"
 def scala3 = List("0.26.0", "0.27.0-RC1")
 
 def scalajs = "1.1.1"

mdoc/src/main/scala-3/mdoc/internal/markdown/Instrumenter.scala

@@ -143,8 +143,8 @@ object Instrumenter {
 
   object Binders {
     private def fromPat(trees: List[Tree])(using ctx: Context) = {
-      trees.map {
-        case id: Ident =>
+      trees.collect {
+        case id: Ident if id.name.toString != "_" => // ignore placeholders
           id.name.toString -> id.sourcePos
       }
     }

mdoc/src/main/scala/mdoc/internal/worksheets/WorksheetProvider.scala

@@ -35,7 +35,6 @@ class WorksheetProvider(settings: Settings) {
     val compiler = ctx.compiler(instrumented)
     val rendered =
       MarkdownBuilder.buildDocument(compiler, reporter, sectionInputs, instrumented, input.path)
-
     val decorations = for {
       section <- rendered.sections.iterator
       statement <- section.section.statements

tests/worksheets/src/test/scala/tests/worksheets/WorksheetSuite.scala

@@ -370,6 +370,17 @@ class WorksheetSuite extends BaseSuite {
        |""".stripMargin
   )
 
+  checkDecorations(
+    "placeholder",
+    """|def x = 1 -> 2
+       |val (a, _) = x
+       |""".stripMargin,
+    """|def x = 1 -> 2
+       |<val (a, _) = x> // : Int = 1
+       |a: Int = 1
+       |""".stripMargin
+  )
+
   def checkDiagnostics(
       options: TestOptions,
       original: String,