Merge pull request #9745 from dotty-staging/fix-#2727

Fix #2727: Add self type explain to UnboundPlaceholderParameter

Author: nicolasstucki

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -527,6 +527,17 @@ import ast.tpd
            |but an uninitialized var definition.
            |Only fields can be left uninitialized in this manner; local variables
            |must be initialized.
+           |
+           |Another occurrence for this error is self type definition.
+           |The ${hl("_")} can be replaced with ${hl("this")}.
+           |
+           |Example before:
+           |
+           |${hl("trait A { _: B => ... ")}
+           |
+           |Example after:
+           |
+           |${hl("trait A { this: B => ... ")}
            |"""
   }
 
@@ -2411,4 +2422,4 @@ import ast.tpd
                    |The variable does not occur in the signature of ${hl(owner)}.
                    |""".stripMargin
     def explain = ""
-  }
+  }