Fix constructors of primitives in stdlib-bootstrapped

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2697,6 +2697,9 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
 
     checkEnumParent(cls, firstParent)
 
+    if defn.ScalaValueClasses()(cls) && ctx.settings.Yscala2Stdlib.value then
+      constr1.symbol.resetFlag(Private)
+
     val self1 = typed(self)(using ctx.outer).asInstanceOf[ValDef] // outer context where class members are not visible
     if (self1.tpt.tpe.isError || classExistsOnSelf(cls.unforcedDecls, self1))
       // fail fast to avoid typing the body with an error type

project/MiMaFilters.scala

@@ -25,15 +25,6 @@ object MiMaFilters {
       Seq(
         // Files that are not compiled in the bootstrapped library
         ProblemFilters.exclude[MissingClassProblem]("scala.AnyVal"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Unit.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Boolean.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Byte.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Short.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Int.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Long.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Float.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Double.this"),
-        ProblemFilters.exclude[DirectMissingMethodProblem]("scala.Char.this"),
 
 
         // Scala language features

project/TastyMiMaFilters.scala

@@ -9,17 +9,6 @@ object TastyMiMaFilters {
     // Probably OK: Case class with varargs
     ProblemMatcher.make(ProblemKind.IncompatibleTypeChange, "scala.StringContext.parts"), // before: scala.<repeated>[Predef.String]; after: scala.collection.immutable.Seq[Predef.String] @scala.annotation.internal.Repeated
 
-    // Problem: The symbol scala.*.<init> has a more restrictive visibility qualifier in current version
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Boolean.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Byte.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Short.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Int.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Long.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Float.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Double.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Char.<init>"),
-    ProblemMatcher.make(ProblemKind.RestrictedVisibilityChange, "scala.Unit.<init>"),
-
     // Problem: Missing Serializable in companions of serializable classes
     ProblemMatcher.make(ProblemKind.MissingParent, "scala.*$"),