scala · lrytz · Jun 4, 2020 · May 15, 2020
diff --git a/src/compiler/scala/tools/nsc/transform/Constructors.scala b/src/compiler/scala/tools/nsc/transform/Constructors.scala
@@ -158,7 +158,7 @@ abstract class Constructors extends Statics with Transform with TypingTransforme
    *
    */
   private trait OmittablesHelper {
-    def computeOmittableAccessors(clazz: Symbol, defs: List[Tree], auxConstructors: List[Tree]): Set[Symbol] = {
+    def computeOmittableAccessors(clazz: Symbol, defs: List[Tree], auxConstructors: List[Tree], constructor: List[Tree]): Set[Symbol] = {
       val decls = clazz.info.decls.toSet
       val isEffectivelyFinal = clazz.isEffectivelyFinal
 
@@ -192,10 +192,28 @@ abstract class Constructors extends Statics with Transform with TypingTransforme
             }
           }
       }
+      class DetectAssigns(targets: mutable.Set[Symbol]) extends InternalTraverser {
+        override def traverse(tree: Tree): Unit = if (targets.nonEmpty) {
+          tree match {
+            case Assign(lhs, _) if targets(lhs.symbol) =>
+              targets -= lhs.symbol
+              omittables -= lhs.symbol
+              tree.traverse(this)
+            case _ => tree.traverse(this)
+          }
+        }
+      }
 
       if (omittables.nonEmpty)
         (defs.iterator ++ auxConstructors.iterator) foreach detectUsages.traverse
 
+      if (omittables.nonEmpty) {
+        val omittedVars = omittables.filter(_.isVariable)
+        if (omittedVars.nonEmpty) {
+          val detector = new DetectAssigns(omittedVars)
+          constructor.foreach(detector.traverse)
+        }
+      }
       omittables.toSet
     }
   } // OmittablesHelper
@@ -469,7 +487,6 @@ abstract class Constructors extends Statics with Transform with TypingTransforme
       abort("no constructor in template: impl = " + impl)
     }
 
-
     def primaryConstrParams  = _primaryConstrParams
     def usesSpecializedField = intoConstructor.usesSpecializedField
 
@@ -699,7 +716,7 @@ abstract class Constructors extends Statics with Transform with TypingTransforme
       // omit unused outers
       val omittableAccessor: Set[Symbol] =
         if (isDelayedInitSubclass) Set.empty
-        else computeOmittableAccessors(clazz, defs, auxConstructors)
+        else computeOmittableAccessors(clazz, defs, auxConstructors, constructorStats)
 
       // TODO: this should omit fields for non-memoized (constant-typed, unit-typed vals need no storage --
       // all the action is in the getter)

diff --git a/test/files/run/t12002.check b/test/files/run/t12002.check
@@ -0,0 +1 @@
+good boy!
diff --git a/test/files/run/t12002.scala b/test/files/run/t12002.scala
@@ -0,0 +1,17 @@
+// cf t6880
+class C(private[this] var c: String) {
+  private[this] var x: String = _
+  c = "good"
+  x = c + " boy!"
+  override def toString = x
+}
+
+object Test {
+  def main(args: Array[String]) = println {
+    new C("bad")
+  }
+}
+
+// was
+// java.lang.NoSuchFieldError: c
+//         at C.<init>(t12002.scala:6)