Allow params and param accessors to be inferred private local

KacperFKorban · KacperFKorban · commit d28e1e7f2566 · 2025-05-18T22:48:37.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -2662,7 +2662,7 @@ object SymDenotations {
    *     determined by whether they have a `val` or `var` or not.
    */
   def canBeLocal(name: Name, flags: FlagSet)(using Context) =
-    !name.isConstructorName && !flags.is(Param) && !flags.is(ParamAccessor)
+    !name.isConstructorName
 
   /** Factory method for SymDenotion creation. All creations
    *  should be done via this method.
diff --git a/tests/neg/i22620.scala b/tests/neg/i22620.scala
diff --git a/tests/pos/i22620.scala b/tests/pos/i22620.scala
@@ -0,0 +1,4 @@
+import scala.collection.mutable.ArrayBuffer
+
+class PrivateTest[-M](private val v: ArrayBuffer[M])
+

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +import scala.collection.mutable.ArrayBuffer
++
 +class PrivateTest[-M](private val v: ArrayBuffer[M])
++