Hand specialized SettingValue.

Discovered every time we do something like

  if (settings.debug.value)

the boolean is coming out of a box. How uncouth. To fix this, I had to
make the storage abstract, so concrete setting types have to declare
the storage personally. This seems a small price to pay. I tried to use
specialization but I think it's impossible to get the type parameter and
the abstract type to agree with one another when mr. invariant var is
the object of your affection, without scalac putting the kibosh on the
whole adventure. No review.

1 files changed, 14 insertions, 12 deletions

diff --git a/src/compiler/scala/reflect/internal/settings/MutableSettings.scala b/src/compiler/scala/reflect/internal/settings/MutableSettings.scala
index 3bf296760f..b756408541 100644
--- a/src/compiler/scala/reflect/internal/settings/MutableSettings.scala
+++ b/src/compiler/scala/reflect/internal/settings/MutableSettings.scala
@@ -12,10 +12,12 @@ package settings
 abstract class MutableSettings extends AbsSettings {
 
   type Setting <: SettingValue
+  type BooleanSetting <: Setting { type T = Boolean }
+  type IntSetting <: Setting { type T = Int }
 
   // basically this is a value which remembers if it's been modified
   trait SettingValue extends AbsSettingValue {
-    protected var v: T = _
+    protected var v: T
     protected var setByUser: Boolean = false
 
     def postSetHook(): Unit = ()
@@ -29,15 +31,15 @@ abstract class MutableSettings extends AbsSettings {
     }
   }
 
-  def overrideObjects: SettingValue { type T = Boolean }
-  def printtypes: SettingValue { type T = Boolean }
-  def debug: SettingValue { type T = Boolean }
-  def YdepMethTpes: SettingValue { type T = Boolean }
-  def Ynotnull: SettingValue { type T = Boolean }
-  def explaintypes: SettingValue { type T = Boolean }
-  def verbose: SettingValue { type T = Boolean }
-  def uniqid: SettingValue { type T = Boolean }
-  def Xprintpos: SettingValue { type T = Boolean }
-  def Yrecursion: SettingValue { type T = Int }
-  def maxClassfileName: SettingValue { type T = Int }
+  def overrideObjects: BooleanSetting
+  def printtypes: BooleanSetting
+  def debug: BooleanSetting
+  def YdepMethTpes: BooleanSetting
+  def Ynotnull: BooleanSetting
+  def explaintypes: BooleanSetting
+  def verbose: BooleanSetting
+  def uniqid: BooleanSetting
+  def Xprintpos: BooleanSetting
+  def Yrecursion: IntSetting
+  def maxClassfileName: IntSetting
 }
\ No newline at end of file