Allow This and Inlined, enable checks for retains annotations

scala · Nov 22, 2024 · 5d668e6 · 5d668e6
1 parent 872459d
commit 5d668e6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -1424,8 +1424,6 @@ trait Checking {
           case _ =>
             report.error(em"@${cls.name} needs a string literal as argument", arg.srcPos)
         tree
-      case _ if cls.isRetainsLike =>
-        tree
       case _ =>
         checkAnnotTreeMap.transform(tree)
 
@@ -1437,6 +1435,7 @@ trait Checking {
             super.transform(tree)
           case _: ( Literal
                   | Ident
+                  | This
                   | New
                   | Select
                   | Apply
@@ -1450,7 +1449,8 @@ trait Checking {
                   | NamedArg
                   | EmptyTree.type
                   | Splice
-                  | Hole) =>
+                  | Hole
+                  | Inlined) =>
             super.transform(tree)
           case _ =>
             errorTree(