Check This references in refersToParamOf

scala · Mar 23, 2024 · 10468e5 · 10468e5
1 parent a36849f
commit 10468e5
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/Annotations.scala b/compiler/src/dotty/tools/dotc/core/Annotations.scala
@@ -72,12 +72,11 @@ object Annotations {
     def refersToParamOf(tl: TermLambda)(using Context): Boolean =
       val args = arguments
       if args.isEmpty then false
-      else tree.existsSubTree {
-        case id: Ident => id.tpe.stripped match
+      else tree.existsSubTree:
+        case id: (Ident | This) => id.tpe.stripped match
           case TermParamRef(tl1, _) => tl eq tl1
           case _ => false
         case _ => false
-      }
 
     /** A string representation of the annotation. Overridden in BodyAnnotation.
      */

diff --git a/tests/pos-custom-args/captures/i19990.scala b/tests/pos-custom-args/captures/i19990.scala
@@ -0,0 +1,13 @@
+import language.experimental.captureChecking
+
+trait Iterable[T] { self: Iterable[T]^ =>
+  def map[U](f: T => U): Iterable[U]^{this, f}
+}
+
+object Test {
+  def indentLines(level: Int, lines: Iterable[String]) =
+    lines.map(line => line.split("\n").map("  " + _).mkString("\n"))
+
+  def indentErrorMessages(messages: Iterable[String]) =
+    indentLines(1, messages)
+}