Merge pull request #1974 from paulp/pr/merge-2.10

Merge 2.10.x into master.

42 files changed, 902 insertions, 13 deletions

diff --git a/test/files/neg/catch-all.check b/test/files/neg/catch-all.check
index 2d58dd99a8..aaf51480c3 100644
--- a/test/files/neg/catch-all.check
+++ b/test/files/neg/catch-all.check
@@ -1,13 +1,10 @@
-catch-all.scala:2: warning: This catches all Throwables, which often has undesirable consequences.
-If intentional, use `case _ : Throwable` to clear this warning.
+catch-all.scala:2: warning: This catches all Throwables. If this is really intended, use `case _ : Throwable` to clear this warning.
   try { "warn" } catch { case _ => }
                               ^
-catch-all.scala:4: warning: This catches all Throwables, which often has undesirable consequences.
-If intentional, use `case x : Throwable` to clear this warning.
+catch-all.scala:4: warning: This catches all Throwables. If this is really intended, use `case x : Throwable` to clear this warning.
   try { "warn" } catch { case x => }
                               ^
-catch-all.scala:6: warning: This catches all Throwables, which often has undesirable consequences.
-If intentional, use `case x : Throwable` to clear this warning.
+catch-all.scala:6: warning: This catches all Throwables. If this is really intended, use `case x : Throwable` to clear this warning.
   try { "warn" } catch { case _: RuntimeException => ; case x => }
                                                             ^
 error: No warnings can be incurred under -Xfatal-warnings.
diff --git a/test/files/neg/names-defaults-neg.check b/test/files/neg/names-defaults-neg.check
index 6f9dc7d127..f6bd703e1f 100644
--- a/test/files/neg/names-defaults-neg.check
+++ b/test/files/neg/names-defaults-neg.check
@@ -134,9 +134,17 @@ names-defaults-neg.scala:144: error: variable definition needs type because 'x'
 names-defaults-neg.scala:147: error: variable definition needs type because 'x' is used as a named argument in its body.
   object t6 { var x = t.f(x = 1) }
                   ^
+names-defaults-neg.scala:147: warning: type-checking the invocation of method f checks if the named argument expression 'x = ...' is a valid assignment
+in the current scope. The resulting type inference error (see above) can be fixed by providing an explicit type in the local definition for x.
+  object t6 { var x = t.f(x = 1) }
+                            ^
 names-defaults-neg.scala:150: error: variable definition needs type because 'x' is used as a named argument in its body.
   class t9 { var x = t.f(x = 1) }
                  ^
+names-defaults-neg.scala:150: warning: type-checking the invocation of method f checks if the named argument expression 'x = ...' is a valid assignment
+in the current scope. The resulting type inference error (see above) can be fixed by providing an explicit type in the local definition for x.
+  class t9 { var x = t.f(x = 1) }
+                           ^
 names-defaults-neg.scala:164: error: variable definition needs type because 'x' is used as a named argument in its body.
   def u3 { var x = u.f(x = 1) }
                ^
@@ -156,5 +164,5 @@ in the current scope. The resulting type inference error (see above) can be fixe
 names-defaults-neg.scala:180: error: reference to x is ambiguous; it is both a method parameter and a variable in scope.
   class u18 { var x: Int = u.f(x = 1) }
                                  ^
-two warnings found
+four warnings found
 41 errors found
diff --git a/test/files/neg/nonlocal-warning.check b/test/files/neg/nonlocal-warning.check
index 67b3b10095..5202df655a 100644
--- a/test/files/neg/nonlocal-warning.check
+++ b/test/files/neg/nonlocal-warning.check
@@ -1,5 +1,4 @@
-nonlocal-warning.scala:4: warning: This catches all Throwables, which often has undesirable consequences.
-If intentional, use `case x : Throwable` to clear this warning.
+nonlocal-warning.scala:4: warning: This catches all Throwables. If this is really intended, use `case x : Throwable` to clear this warning.
     catch { case x => 11 }
                  ^
 nonlocal-warning.scala:2: warning: catch block may intercept non-local return from method foo
diff --git a/test/files/neg/t4851.check b/test/files/neg/t4851.check
index 0fd66b9efe..4f2919807e 100644
--- a/test/files/neg/t4851.check
+++ b/test/files/neg/t4851.check
@@ -40,6 +40,12 @@ S.scala:10: warning: Adapting argument list by inserting (): this is unlikely to
  after adaptation: new J2((): Unit)
   val z2 = new J2()
            ^
+S.scala:14: warning: Adapting argument list by creating a 3-tuple: this may not be what you want.
+        signature: Test.anyId(a: Any): Any
+  given arguments: 1, 2, 3
+ after adaptation: Test.anyId((1, 2, 3): (Int, Int, Int))
+  val w1 = anyId(1, 2 ,3)
+                ^
 error: No warnings can be incurred under -Xfatal-warnings.
-7 warnings found
+8 warnings found
 one error found
diff --git a/test/files/neg/t4851/S.scala b/test/files/neg/t4851/S.scala
index 1550892967..0a442ac7a9 100644
--- a/test/files/neg/t4851/S.scala
+++ b/test/files/neg/t4851/S.scala
@@ -10,6 +10,9 @@ object Test {
   val z2 = new J2()
   val z3 = new J2(())
 
+  def anyId(a: Any) = a
+  val w1 = anyId(1, 2 ,3)
+
   def main(args: Array[String]): Unit = {
     println(x1)
     println(x2)
@@ -19,5 +22,7 @@ object Test {
     println(z1)
     println(z2)
     println(z3)
+
+    println(w1)
   }
 }
diff --git a/test/files/neg/t5753/Impls$class.class b/test/files/neg/t5753/Impls$class.class
deleted file mode 100644
index 476329174e..0000000000
--- a/test/files/neg/t5753/Impls$class.class
+++ /dev/null
diff --git a/test/files/neg/t5753/Impls.class b/test/files/neg/t5753/Impls.class
deleted file mode 100644
index dfcf89ed44..0000000000
--- a/test/files/neg/t5753/Impls.class
+++ /dev/null
diff --git a/test/files/neg/t6040.check b/test/files/neg/t6040.check
index f6757f97e3..f91df0c46d 100644
--- a/test/files/neg/t6040.check
+++ b/test/files/neg/t6040.check
@@ -1,7 +1,9 @@
-error: extension of type scala.Dynamic needs to be enabled
+t6040.scala:1: error: extension of type scala.Dynamic needs to be enabled
 by making the implicit value language.dynamics visible.
 This can be achieved by adding the import clause 'import scala.language.dynamics'
 or by setting the compiler option -language:dynamics.
 See the Scala docs for value scala.language.dynamics for a discussion
 why the feature needs to be explicitly enabled.
+class X extends Dynamic
+                ^
 one error found
diff --git a/test/files/neg/t6231.check b/test/files/neg/t6231.check
new file mode 100644
index 0000000000..b27961d393
--- /dev/null
+++ b/test/files/neg/t6231.check
@@ -0,0 +1,6 @@
+t6231.scala:4: error: Implementation restriction: local trait Bug$X$1 is unable to automatically capture the
+free variable value ev$1 on behalf of anonymous class anonfun$qux$1. You can manually assign it to a val inside the trait,
+and refer that that val in anonymous class anonfun$qux$1. For more details, see SI-6231.
+      def qux = { () => ev }
+                        ^
+one error found
diff --git a/test/files/neg/t6231.scala b/test/files/neg/t6231.scala
new file mode 100644
index 0000000000..1e5b4e0e1a
--- /dev/null
+++ b/test/files/neg/t6231.scala
@@ -0,0 +1,15 @@
+object Bug {
+  def bar(ev: Any) = {
+    trait X {
+      def qux = { () => ev }
+    }
+    new X {}.qux()
+
+    // workaround
+    trait Y {
+      val ev2 = ev // manually capture `ev` so that `ev2` is added to the trait interface.
+      def qux = { () => ev2 }
+    }
+  }
+}
+
diff --git a/test/files/neg/t6666.check b/test/files/neg/t6666.check
new file mode 100644
index 0000000000..d0378173ea
--- /dev/null
+++ b/test/files/neg/t6666.check
@@ -0,0 +1,40 @@
+t6666.scala:23: error: Implementation restriction: access of method x$2 in object O1 from anonymous class 2, would require illegal premature access to object O1
+  F.byname(x)
+           ^
+t6666.scala:30: error: Implementation restriction: access of value x$3 in object O2 from anonymous class 3, would require illegal premature access to object O2
+  F.byname(x)
+           ^
+t6666.scala:37: error: Implementation restriction: access of method x$4 in object O3 from anonymous class 4, would require illegal premature access to object O3
+  F.hof(() => x)
+              ^
+t6666.scala:50: error: Implementation restriction: access of method x$6 in class C1 from anonymous class 7, would require illegal premature access to the unconstructed `this` of class C1
+  F.byname(x)
+           ^
+t6666.scala:54: error: Implementation restriction: access of value x$7 in class C2 from anonymous class 8, would require illegal premature access to the unconstructed `this` of class C2
+  F.byname(x)
+           ^
+t6666.scala:58: error: Implementation restriction: access of method x$8 in class C3 from anonymous class 9, would require illegal premature access to the unconstructed `this` of class C3
+  F.hof(() => x)
+              ^
+t6666.scala:62: error: Implementation restriction: access of method x$9 in class C4 from object Nested$5, would require illegal premature access to the unconstructed `this` of class C4
+  object Nested { def xx = x}
+                           ^
+t6666.scala:68: error: Implementation restriction: access of method x$10 in class C5 from object Nested$6, would require illegal premature access to the unconstructed `this` of class C5
+    object Nested { def xx = x}
+                             ^
+t6666.scala:83: error: Implementation restriction: access of method x$12 in class C11 from anonymous class 12, would require illegal premature access to the unconstructed `this` of class C11
+      F.byname(x)
+               ^
+t6666.scala:102: error: Implementation restriction: access of method x$13 in class C13 from anonymous class 13, would require illegal premature access to the unconstructed `this` of class C13
+      F.hof(() => x)
+                  ^
+t6666.scala:111: error: Implementation restriction: access of method x$14 in class C14 from object Nested$7, would require illegal premature access to the unconstructed `this` of class C14
+      object Nested { def xx = x}
+                               ^
+t6666.scala:122: error: Implementation restriction: access of method x$15 in class C15 from object Nested$8, would require illegal premature access to the unconstructed `this` of class C15
+        object Nested { def xx = x}
+                                 ^
+t6666.scala:131: error: Implementation restriction: access of method foo$1 in class COuter from class CInner$1, would require illegal premature access to the unconstructed `this` of class COuter
+  class CInner extends C({foo})
+                          ^
+13 errors found
diff --git a/test/files/neg/t6666.scala b/test/files/neg/t6666.scala
new file mode 100644
index 0000000000..d37ffaf141
--- /dev/null
+++ b/test/files/neg/t6666.scala
@@ -0,0 +1,132 @@
+class C(a: Any)
+object F {
+  def byname(a: => Any) = println(a)
+  def hof(a: () => Any) = println(a())
+}
+
+class COkay extends C(0) {
+  def this(a: Any) {
+    this()
+    def x = "".toString
+    F.byname(x)
+  }
+}
+
+//
+// The thunk's apply method accesses the MODULE$
+// field before it is set.
+//
+//   0: getstatic #23; //Field O1$.MODULE$:LO1$;
+//   3: invokevirtual #26; //Method O1$.O1$$x$1:()Ljava/lang/String;
+object O1 extends C({
+  def x = "".toString
+  F.byname(x)
+})
+
+// java.lang.NullPointerException
+//   at O2$$anonfun$$init$$1.apply(<console>:11)
+object O2 extends C({
+  lazy val x = "".toString
+  F.byname(x)
+})
+
+// java.lang.NullPointerException
+//   at O3$$anonfun$$init$$1.apply(<console>:11)
+object O3 extends C({
+  def x = "".toString
+  F.hof(() => x)
+})
+
+// Okay, the nested classes don't get an outer pointer passed,
+// just an extra param for `x: String`.
+object O6 extends C({
+  val x = "".toString
+  F.byname(x); F.hof(() => x); (new { val xx = x }.xx)
+})
+
+
+class C1 extends C({
+  def x = "".toString
+  F.byname(x)
+})
+class C2 extends C({
+  lazy val x = "".toString
+  F.byname(x)
+})
+class C3 extends C({
+  def x = "".toString
+  F.hof(() => x)
+})
+class C4 extends C({
+  def x = "".toString
+  object Nested { def xx = x}
+  Nested.xx
+})
+class C5 extends C({
+  def x = "".toString
+  val y = {
+    object Nested { def xx = x}
+    Nested.xx
+  }
+})
+
+// okay, for same reason as O6
+class C6 extends C({
+  val x = "".toString
+  F.byname(x); F.hof(() => x); (new { val xx = x }.xx)
+})
+
+class C11(a: Any) {
+  def this() = {
+    this({
+     def x = "".toString
+      F.byname(x)
+    })
+  }
+}
+
+// Crashes earlier in lazyVals.
+// class C12(a: Any) {
+//   def this() = {
+//     this({
+//       lazy val x = "".toString
+//       F.byname(x)
+//     })
+//   }
+// }
+
+class C13(a: Any) {
+  def this() = {
+    this({
+      def x = "".toString
+      F.hof(() => x)
+    })
+  }
+}
+
+class C14(a: Any) {
+  def this() = {
+    this({
+      def x = "".toString
+      object Nested { def xx = x}
+      Nested.xx
+    })
+  }
+}
+
+class C15(a: Any) {
+  def this() = {
+    this({
+      def x = "".toString
+      val y = {
+        object Nested { def xx = x}
+        Nested.xx
+      }
+    })
+  }
+}
+
+class COuter extends C({
+  def foo = 0
+  class CInner extends C({foo})
+})
\ No newline at end of file
diff --git a/test/files/neg/t6902.check b/test/files/neg/t6902.check
new file mode 100644
index 0000000000..ed0ed75303
--- /dev/null
+++ b/test/files/neg/t6902.check
@@ -0,0 +1,12 @@
+t6902.scala:4: warning: unreachable code
+    case Some(b) => 3 // no warning was emitted
+                    ^
+t6902.scala:9: warning: unreachable code
+    case Some(b) => 3 // no warning was emitted
+                    ^
+t6902.scala:21: warning: unreachable code
+    case 1 => 3 // crash
+              ^
+error: No warnings can be incurred under -Xfatal-warnings.
+three warnings found
+one error found
diff --git a/test/files/neg/t6902.flags b/test/files/neg/t6902.flags
new file mode 100644
index 0000000000..e8fb65d50c
--- /dev/null
+++ b/test/files/neg/t6902.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
\ No newline at end of file
diff --git a/test/files/neg/t6902.scala b/test/files/neg/t6902.scala
new file mode 100644
index 0000000000..ce5ff8b6fb
--- /dev/null
+++ b/test/files/neg/t6902.scala
@@ -0,0 +1,23 @@
+object Test {
+  Some(Some(1)) collect {
+    case Some(a) => 2
+    case Some(b) => 3 // no warning was emitted
+  }
+
+  (Some(1): @ unchecked) match {
+    case Some(a) => 2
+    case Some(b) => 3 // no warning was emitted
+  }
+
+  // A variation of SI-6011, which eluded the fix
+  // in 2.10.0.
+  //
+  // duplicate keys in SWITCH, can't pick arbitrarily one of them to evict, see SI-6011.
+  // at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:50)
+  // at scala.tools.nsc.Global.abort(Global.scala:249)
+  // at scala.tools.nsc.backend.jvm.GenASM$JPlainBuilder$jcode$.emitSWITCH(GenASM.scala:1850)
+  ((1: Byte): @unchecked @annotation.switch) match {
+    case 1 => 2
+    case 1 => 3 // crash
+  }
+}
diff --git a/test/files/neg/t6952.check b/test/files/neg/t6952.check
new file mode 100644
index 0000000000..f1e1881404
--- /dev/null
+++ b/test/files/neg/t6952.check
@@ -0,0 +1,13 @@
+t6952.scala:2: error: extension of type scala.Dynamic needs to be enabled
+by making the implicit value language.dynamics visible.
+This can be achieved by adding the import clause 'import scala.language.dynamics'
+or by setting the compiler option -language:dynamics.
+See the Scala docs for value scala.language.dynamics for a discussion
+why the feature needs to be explicitly enabled.
+trait B extends Dynamic
+                ^
+t6952.scala:3: error: extension of type scala.Dynamic needs to be enabled
+by making the implicit value language.dynamics visible.
+trait C extends A with Dynamic
+                       ^
+two errors found
diff --git a/test/files/neg/t6952.scala b/test/files/neg/t6952.scala
new file mode 100644
index 0000000000..257ea3be68
--- /dev/null
+++ b/test/files/neg/t6952.scala
@@ -0,0 +1,4 @@
+trait A
+trait B extends Dynamic
+trait C extends A with Dynamic
+trait D extends B
diff --git a/test/files/pos/t6942.flags b/test/files/pos/t6942.flags
new file mode 100644
index 0000000000..e8fb65d50c
--- /dev/null
+++ b/test/files/pos/t6942.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
\ No newline at end of file
diff --git a/test/files/pos/t6942/Bar.java b/test/files/pos/t6942/Bar.java
new file mode 100644
index 0000000000..592f62efb4
--- /dev/null
+++ b/test/files/pos/t6942/Bar.java
@@ -0,0 +1,235 @@
+package foo;
+
+public enum Bar {
+    ANGUILLA                    /*("US")*/,
+    ANTIGUA_AND_BARBUDA         /*("US")*/,
+    ARGENTINA                   /*("US")*/,
+    ARUBA                       /*("US")*/,
+    BAHAMAS                     /*("US")*/,
+    BARBADOS                    /*("US")*/,
+    BELIZE                      /*("US")*/,
+    BERMUDA                     /*("US")*/,
+    BOLIVIA                     /*("US")*/,
+    BRAZIL                      /*("US")*/,
+    BRITISH_VIRGIN_ISLANDS      /*("US")*/,
+    CANADA                      /*("US")*/,
+    CAYMAN_ISLANDS              /*("US")*/,
+    CHILE                       /*("US")*/,
+    CHRISTMAS_ISLANDS           /*("US")*/,
+    COCOS                       /*("US")*/,
+    COLOMBIA                    /*("US")*/,
+    COSTA_RICA                  /*("US")*/,
+    CUBA                        /*("US")*/,
+    DOMINICA                    /*("US")*/,
+    DOMINICAN_REPUBLIC          /*("US")*/,
+    ECUADOR                     /*("US")*/,
+    EL_SALVADOR                 /*("US")*/,
+    FALKLAND_ISLANDS            /*("US")*/,
+    GRENADA                     /*("US")*/,
+    GUADALOUPE                  /*("US")*/,
+    GUATEMALA                   /*("US")*/,
+    HAITI                       /*("US")*/,
+    HONDURAS                    /*("US")*/,
+    NETHERLANDS_ANTILLES        /*("US")*/,
+    NICARAGUA                   /*("US")*/,
+    PANAMA                      /*("US")*/,
+    PARAGUAY                    /*("US")*/,
+    PERU                        /*("US")*/,
+    PUERTO_RICO                 /*("US")*/,
+    JAMAICA                     /*("US")*/,
+    MARTINIQUE                  /*("US")*/,
+    MEXICO                      /*("US")*/,
+    MONTSERRAT                  /*("US")*/,
+    ST_KITTS                    /*("US")*/,
+    ST_LUCIA                    /*("US")*/,
+    ST_VINCENT                  /*("US")*/,
+    SUPRA_NATIONAL              /*("US")*/,
+    TRINIDAD                    /*("US")*/,
+    TURKS_AND_CAICOS            /*("US")*/,
+    UNITED_STATES               /*("US")*/,
+    URUGUAY                     /*("US")*/,
+    VENEZUELA                   /*("US")*/,
+    VIRGIN_ISLANDS              /*("US")*/,
+
+    AUSTRALIA                   /*("AP")*/,
+    BANGLADESH                  /*("AP")*/,
+    BHUTAN                      /*("AP")*/,
+    CAMBODIA                    /*("AP")*/,
+    CHINA                       /*("AP")*/,
+    COOK_ISLANDS                /*("AP")*/,
+    EAST_TIMOR                  /*("AP")*/,
+    FIJI                        /*("AP")*/,
+    GUAM                        /*("AP")*/,
+    HONG_KONG                   /*("AP")*/,
+    INDIA                       /*("AP")*/,
+    INDONESIA                   /*("AP")*/,
+    JAPAN                       /*("AP")*/,
+    KIRIBATI                    /*("AP")*/,
+    LAOS                        /*("AP")*/,
+    MACAU                       /*("AP")*/,
+    MALAYSIA                    /*("AP")*/,
+    MICRONESIA                  /*("AP")*/,
+    MONGOLIA                    /*("AP")*/,
+    MYANMAR                     /*("AP")*/,
+    NEPAL                       /*("AP")*/,
+    NEW_CALEDONIA               /*("AP")*/,
+    NEW_ZEALAND                 /*("AP")*/,
+    NORFOLK_ISLAND              /*("AP")*/,
+    NORTH_KOREA                 /*("AP")*/,
+    PAKISTAN                    /*("AP")*/,
+    PALAU                       /*("AP")*/,
+    PAPUA_NEW_GUINEA            /*("AP")*/,
+    PHILIPPINES                 /*("AP")*/,
+    PITCAIRN_ISLANDS            /*("AP")*/,
+    SAMOA                       /*("AP")*/,
+    WEST_SAMOA                  /*("AP")*/,
+    SINGAPORE                   /*("AP")*/,
+    SOUTH_KOREA                 /*("AP")*/,
+    SRI_LANKA                   /*("AP")*/,
+    TAIWAN                      /*("AP")*/,
+    THAILAND                    /*("AP")*/,
+    TOKELAU                     /*("AP")*/,
+    TONGA                       /*("AP")*/,
+    TUVALU                      /*("AP")*/,
+    VANUATU                     /*("AP")*/,
+    VIETNAM                     /*("AP")*/,
+
+    AFGHANISTAN                 /*("EU")*/,
+    ALBANIA                     /*("EU")*/,
+    ALGERIA                     /*("EU")*/,
+    ANDORRA                     /*("EU")*/,
+    ANGOLA                      /*("EU")*/,
+    ARMENIA                     /*("EU")*/,
+    AUSTRIA                     /*("EU")*/,
+    AZERBAIJAN                  /*("EU")*/,
+    BAHRAIN                     /*("EU")*/,
+    BELARUS                     /*("EU")*/,
+    BELGIUM                     /*("EU")*/,
+    BENIN                       /*("EU")*/,
+    BOSNIA_AND_HERZEGOVINA      /*("EU")*/,
+    BOTSWANA                    /*("EU")*/,
+    BOUVET_ISLAND               /*("EU")*/,
+    BRUNEI                      /*("EU")*/,
+    BULGARIA                    /*("EU")*/,
+    BURKINA_FASO                /*("EU")*/,
+    BURUNDI                     /*("EU")*/,
+    CAMEROON                    /*("EU")*/,
+    CAPE_VERDE                  /*("EU")*/,
+    CHAD                        /*("EU")*/,
+    COMOROS                     /*("EU")*/,
+    CONGO                       /*("EU")*/,
+    CROATIA                     /*("EU")*/,
+    CYPRUS                      /*("EU")*/,
+    CZECH_REPUBLIC              /*("EU")*/,
+    DR_CONGO                    /*("EU")*/,
+    DENMARK                     /*("EU")*/,
+    DJIBOUTI                    /*("EU")*/,
+    EGYPT                       /*("EU")*/,
+    EQUATORIAL_GUINEA           /*("EU")*/,
+    ERITREA                     /*("EU")*/,
+    ESTONIA                     /*("EU")*/,
+    ETHIOPIA                    /*("EU")*/,
+    FAEROE_ISLANDS              /*("EU")*/,
+    FINLAND                     /*("EU")*/,
+    FRANCE                      /*("EU")*/,
+    FRENCH_GUIANA               /*("EU")*/,
+    GABON                       /*("EU")*/,
+    GAMBIA                      /*("EU")*/,
+    GEORGIA                     /*("EU")*/,
+    GERMANY                     /*("EU")*/,
+    GHANA                       /*("EU")*/,
+    GIBRALTAR                   /*("EU")*/,
+    GREAT_BRITAIN               /*("EU")*/,
+    GREECE                      /*("EU")*/,
+    GREENLAND                   /*("EU")*/,
+    GUINEA                      /*("EU")*/,
+    GUINEA_BISSAU               /*("EU")*/,
+    GUYANA                      /*("EU")*/,
+    HUNGARY                     /*("EU")*/,
+    ICELAND                     /*("EU")*/,
+    IRAN                        /*("EU")*/,
+    IRAQ                        /*("EU")*/,
+    IRELAND                     /*("EU")*/,
+    ISLE_OF_MAN                 /*("EU")*/,
+    ISRAEL                      /*("EU")*/,
+    ITALY                       /*("EU")*/,
+    IVORY_COAST                 /*("EU")*/,
+    JERSEY                      /*("EU")*/,
+    JORDAN                      /*("EU")*/,
+    KAZAKHSTAN                  /*("EU")*/,
+    KENYA                       /*("EU")*/,
+    KUWAIT                      /*("EU")*/,
+    KYRGYZSTAN                  /*("EU")*/,
+    LATVIA                      /*("EU")*/,
+    LEBANON                     /*("EU")*/,
+    LESOTHO                     /*("EU")*/,
+    LIBERIA                     /*("EU")*/,
+    LIBYA                       /*("EU")*/,
+    LIECHTENSTEIN               /*("EU")*/,
+    LITHUANIA                   /*("EU")*/,
+    LUXEMBOURG                  /*("EU")*/,
+    MACEDONIA                   /*("EU")*/,
+    MADAGASCAR                  /*("EU")*/,
+    MALAWI                      /*("EU")*/,
+    MALDIVES                    /*("EU")*/,
+    MALI                        /*("EU")*/,
+    MALTA                       /*("EU")*/,
+    MARSHALL_ISLAND             /*("EU")*/,
+    MAURITANIA                  /*("EU")*/,
+    MAURITIUS                   /*("EU")*/,
+    MAYOTTE                     /*("EU")*/,
+    MOLDOVA                     /*("EU")*/,
+    MONACO                      /*("EU")*/,
+    MOROCCO                     /*("EU")*/,
+    MOZAMBIQUE                  /*("EU")*/,
+    NAMIBIA                     /*("EU")*/,
+    NETHERLANDS                 /*("EU")*/,
+    NIGER_REPUBLIC              /*("EU")*/,
+    NIGERIA                     /*("EU")*/,
+    NORWAY                      /*("EU")*/,
+    OMAN                        /*("EU")*/,
+    PALESTINE                   /*("EU")*/,
+    POLAND                      /*("EU")*/,
+    PORTUGAL                    /*("EU")*/,
+    QATAR                       /*("EU")*/,
+    REUNION                     /*("EU")*/,
+    ROMANIA                     /*("EU")*/,
+    RUSSIA                      /*("EU")*/,
+    RWANDA                      /*("EU")*/,
+    SAN_MARINO                  /*("EU")*/,
+    SAO_TOME                    /*("EU")*/,
+    SAUDI_ARABIA                /*("EU")*/,
+    SENEGAL                     /*("EU")*/,
+    SERBIA                      /*("EU")*/,
+    SEYCHELLES                  /*("EU")*/,
+    SEIRRA_LEONE                /*("EU")*/,
+    SLOVAKIA                    /*("EU")*/,
+    SLOVENIA                    /*("EU")*/,
+    SOMALIA                     /*("EU")*/,
+    SOUTH_AFRICA                /*("EU")*/,
+    SPAIN                       /*("EU")*/,
+    ST_HELENA                   /*("EU")*/,
+    SUDAN                       /*("EU")*/,
+    SURINAME                    /*("EU")*/,
+    SVALBARD                    /*("EU")*/,
+    SWAZILAND                   /*("EU")*/,
+    SWEDEN                      /*("EU")*/,
+    SWITZERLAND                 /*("EU")*/,
+    SYRIA                       /*("EU")*/,
+    TAJIKSTAN                   /*("EU")*/,
+    TANZANIA                    /*("EU")*/,
+    TOGO                        /*("EU")*/,
+    TUNISIA                     /*("EU")*/,
+    TURKEY                      /*("EU")*/,
+    TURKMENISTAN                /*("EU")*/,
+    UAE                         /*("EU")*/,
+    UGANDA                      /*("EU")*/,
+    UKRAINE                     /*("EU")*/,
+    UZBEKISTAN                  /*("EU")*/,
+    VATICAN_CITY                /*("EU")*/,
+    WESTERN_SAHARA              /*("EU")*/,
+    YEMEN                       /*("EU")*/,
+    ZAMBIA                      /*("EU")*/,
+    ZIMBABWE                    /*("EU")*/;
+
+}
\ No newline at end of file
diff --git a/test/files/pos/t6942/t6942.scala b/test/files/pos/t6942/t6942.scala
new file mode 100644
index 0000000000..77963d2634
--- /dev/null
+++ b/test/files/pos/t6942/t6942.scala
@@ -0,0 +1,64 @@
+// not a peep out of the pattern matcher's unreachability analysis
+// its budget should suffice for these simple matches (they do have a large search space)
+class Test {
+  import foo.Bar // a large enum
+  def exhaustUnreachabilitysStack_ENUM_STYLE = (null: Bar) match {
+    case Bar.BULGARIA =>
+    case _            =>
+  }
+
+  // lots of strings
+  def exhaustUnreachabilitysStack_StringStyle = "foo" match {
+    case "a"          =>
+    case "b"          =>
+    case "c"          =>
+    case "d"          =>
+    case "e"          =>
+    case "f"          =>
+    case "aa"         =>
+    case "ba"         =>
+    case "ca"         =>
+    case "da"         =>
+    case "ea"         =>
+    case "f1a"        =>
+    case "a1a"        =>
+    case "b1a"        =>
+    case "c1a"        =>
+    case "d1a"        =>
+    case "e1a"        =>
+    case "f1a2"       =>
+    case "f1a0"       =>
+    case "a1a2"       =>
+    case "b1a2"       =>
+    case "c1a2"       =>
+    case "d1a2"       =>
+    case "e1a2"       =>
+    case "f1a3"       =>
+    case "_a"         =>
+    case "_b"         =>
+    case "_c"         =>
+    case "_d"         =>
+    case "_e"         =>
+    case "_f"         =>
+    case "_aa"        =>
+    case "_ba"        =>
+    case "_ca"        =>
+    case "_da"        =>
+    case "_ea"        =>
+    case "_f1a"       =>
+    case "_a1a"       =>
+    case "_b1a"       =>
+    case "_c1a"       =>
+    case "_d1a"       =>
+    case "_e1a"       =>
+    case "_f1a0"      =>
+    case "_f1a2"      =>
+    case "_a1a2"      =>
+    case "_b1a2"      =>
+    case "_c1a2"      =>
+    case "_d1a2"      =>
+    case "_e1a2"      =>
+    case "_f1a3"      =>
+    case _            =>
+  }
+}
diff --git a/test/files/pos/t6976/Exts_1.scala b/test/files/pos/t6976/Exts_1.scala
new file mode 100644
index 0000000000..9b3a69edd9
--- /dev/null
+++ b/test/files/pos/t6976/Exts_1.scala
@@ -0,0 +1,10 @@
+object Exts {
+  implicit class AnyExts[T](val o: T) extends AnyVal {
+    def moo = "moo!"
+  }
+}
+
+trait Exts {
+  import language.implicitConversions
+  implicit def AnyExts[T](o: T) = Exts.AnyExts(o)
+}
diff --git a/test/files/pos/t6976/ImplicitBug_1.scala b/test/files/pos/t6976/ImplicitBug_1.scala
new file mode 100644
index 0000000000..c9031bab2e
--- /dev/null
+++ b/test/files/pos/t6976/ImplicitBug_1.scala
@@ -0,0 +1,27 @@
+// This one is weird and nasty. Not sure if this is scalac or sbt 
+// (tried with 0.12 & 0.12.2-RC2) bug.
+//
+// A level of indirection is required to trigger this bug.
+// Exts seems to need to be defined in separate file.
+//
+// Steps to reproduce:
+// 1. sbt clean
+// 2. sbt run (it works)
+// 3. Comment A & uncomment B.
+// 4. sbt run (it fails)
+// 5. Switch it back & sbt run. It still fails.
+//
+// In this project sbt clean helps. However in a large project where this 
+// bug was found compiler crashed even after doing sbt clean. The only
+// way to work around this was to reference Exts object explicitly (C) in 
+// the source file using its implicit classes.
+
+// Lets suppose this is a mega-trait combining all sorts of helper 
+// functionality.
+trait Support extends Exts
+
+object ImplicitsBug extends App with Support { // A
+// object ImplicitsBug extends App with Exts { // B
+  //Exts // C) this reference helped in the large project.
+  println(3.moo)
+}
diff --git a/test/files/pos/t6976/ImplicitBug_2.scala b/test/files/pos/t6976/ImplicitBug_2.scala
new file mode 100644
index 0000000000..2fea5e2993
--- /dev/null
+++ b/test/files/pos/t6976/ImplicitBug_2.scala
@@ -0,0 +1,7 @@
+trait Support extends Exts
+
+// object ImplicitsBug extends App with Support { // A
+object ImplicitsBug extends App with Exts { // B
+  //Exts // C) this reference helped in the large project.
+  println(3.moo)
+}
diff --git a/test/files/pos/t6994.flags b/test/files/pos/t6994.flags
new file mode 100644
index 0000000000..e8fb65d50c
--- /dev/null
+++ b/test/files/pos/t6994.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
\ No newline at end of file
diff --git a/test/files/pos/t6994.scala b/test/files/pos/t6994.scala
new file mode 100644
index 0000000000..d707196423
--- /dev/null
+++ b/test/files/pos/t6994.scala
@@ -0,0 +1,8 @@
+object Test {
+  object NF {
+    def unapply(t: Throwable): Option[Throwable] = None
+  }
+  val x = (try { None } catch { case NF(ex) => None }) getOrElse 0
+  // Was emitting a spurious warning post typer:
+  // "This catches all Throwables. If this is really intended, use `case ex6 : Throwable` to clear this warning."
+}
diff --git a/test/files/pos/t7011.flags b/test/files/pos/t7011.flags
new file mode 100644
index 0000000000..a4c161553e
--- /dev/null
+++ b/test/files/pos/t7011.flags
@@ -0,0 +1 @@
+-Ydebug -Xfatal-warnings
\ No newline at end of file
diff --git a/test/files/pos/t7011.scala b/test/files/pos/t7011.scala
new file mode 100644
index 0000000000..539f662bc0
--- /dev/null
+++ b/test/files/pos/t7011.scala
@@ -0,0 +1,7 @@
+object bar {
+	def foo {
+    lazy val x = 42
+
+    {()=>x}
+  }
+}
\ No newline at end of file
diff --git a/test/files/run/reify_magicsymbols.check b/test/files/run/reify_magicsymbols.check
index e2aa46a364..c9d892d793 100644
--- a/test/files/run/reify_magicsymbols.check
+++ b/test/files/run/reify_magicsymbols.check
@@ -10,4 +10,4 @@ List[Null]
 List[Nothing]
 AnyRef{def foo(x: Int): Int}
 Int* => Unit
-=> Int => Unit
+(=> Int) => Unit
diff --git a/test/files/run/t5568.check b/test/files/run/t5568.check
new file mode 100644
index 0000000000..67aaf16e07
--- /dev/null
+++ b/test/files/run/t5568.check
@@ -0,0 +1,9 @@
+void
+int
+class scala.runtime.BoxedUnit
+class scala.runtime.BoxedUnit
+class java.lang.Integer
+class java.lang.Integer
+5
+5
+5
diff --git a/test/files/run/t5568.scala b/test/files/run/t5568.scala
new file mode 100644
index 0000000000..14599d9ed2
--- /dev/null
+++ b/test/files/run/t5568.scala
@@ -0,0 +1,16 @@
+object Test {
+  def main(args: Array[String]): Unit = {
+    // these should give unboxed results
+    println(().getClass)
+    println(5.getClass)
+  	// these should give boxed results
+    println(().asInstanceOf[AnyRef with Unit].getClass)
+    println(().asInstanceOf[Unit with AnyRef].getClass)
+    println(5.asInstanceOf[AnyRef with Int].getClass)
+    println(5.asInstanceOf[Int with AnyRef].getClass)
+    //make sure ## wasn't broken
+    println(5.##)
+    println((5.asInstanceOf[AnyRef]).##)
+    println((5:Any).##)
+  }
+}
diff --git a/test/files/run/t6011c.scala b/test/files/run/t6011c.scala
new file mode 100644
index 0000000000..0647e3f81a
--- /dev/null
+++ b/test/files/run/t6011c.scala
@@ -0,0 +1,13 @@
+object Test extends App {
+  // A variation of SI-6011, which eluded the fix
+  // in 2.10.0.
+  //
+  // duplicate keys in SWITCH, can't pick arbitrarily one of them to evict, see SI-6011.
+  // at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:50)
+  // at scala.tools.nsc.Global.abort(Global.scala:249)
+  // at scala.tools.nsc.backend.jvm.GenASM$JPlainBuilder$jcode$.emitSWITCH(GenASM.scala:1850)
+  ((1: Byte): @unchecked @annotation.switch) match {
+    case 1 => 2
+    case 1 => 3 // crash
+  }
+}
diff --git a/test/files/run/t6028.check b/test/files/run/t6028.check
index 42921ae2f5..942f3d5f0c 100644
--- a/test/files/run/t6028.check
+++ b/test/files/run/t6028.check
@@ -15,7 +15,7 @@ package <empty> {
       }
     };
     def bar(barParam: Int): Object = {
-      @volatile var MethodLocalObject$module: runtime.VolatileObjectRef = new runtime.VolatileObjectRef(<empty>);
+      @volatile var MethodLocalObject$module: runtime.VolatileObjectRef = new runtime.VolatileObjectRef(null);
       T.this.MethodLocalObject$1(barParam, MethodLocalObject$module)
     };
     def tryy(tryyParam: Int): Function0 = {
diff --git a/test/files/run/t6434.check b/test/files/run/t6434.check
new file mode 100644
index 0000000000..f898b6b781
--- /dev/null
+++ b/test/files/run/t6434.check
@@ -0,0 +1,10 @@
+Type in expressions to have them evaluated.
+Type :help for more information.
+
+scala> def f(x: => Int): Int = x
+f: (x: => Int)Int
+
+scala> f _
+res0: (=> Int) => Int = <function1>
+
+scala> 
diff --git a/test/files/run/t6434.scala b/test/files/run/t6434.scala
new file mode 100644
index 0000000000..e4a4579613
--- /dev/null
+++ b/test/files/run/t6434.scala
@@ -0,0 +1,8 @@
+import scala.tools.partest.ReplTest
+
+object Test extends ReplTest {
+  def code =
+"""def f(x: => Int): Int = x
+f _
+"""
+}
diff --git a/test/files/run/t6439.check b/test/files/run/t6439.check
new file mode 100644
index 0000000000..3f5f7dc8a4
--- /dev/null
+++ b/test/files/run/t6439.check
@@ -0,0 +1,77 @@
+Type in expressions to have them evaluated.
+Type :help for more information.
+
+scala> 
+
+scala> class A
+defined class A
+
+scala> object A // warn
+defined object A
+warning: previously defined class A is not a companion to object A.
+Companions must be defined together; you may wish to use :paste mode for this.
+
+scala> trait B
+defined trait B
+
+scala> object B // warn
+defined object B
+warning: previously defined trait B is not a companion to object B.
+Companions must be defined together; you may wish to use :paste mode for this.
+
+scala> object C
+defined object C
+
+scala> object Bippy
+defined object Bippy
+
+scala> class C // warn
+defined class C
+warning: previously defined object C is not a companion to class C.
+Companions must be defined together; you may wish to use :paste mode for this.
+
+scala> class D
+defined class D
+
+scala> def D = 0 // no warn
+D: Int
+
+scala> val D = 0 // no warn
+D: Int = 0
+
+scala> object E
+defined object E
+
+scala> var E = 0 // no warn
+E: Int = 0
+
+scala> object F
+defined object F
+
+scala> type F = Int // no warn
+defined type alias F
+
+scala> :power
+** Power User mode enabled - BEEP WHIR GYVE **
+** :phase has been set to 'typer'.          **
+** scala.tools.nsc._ has been imported      **
+** global._, definitions._ also imported    **
+** Try  :help, :vals, power.<tab>           **
+
+scala> object lookup {
+  import intp._
+  def apply(name: String): Symbol       = types(name) orElse terms(name)
+  def types(name: String): Symbol       = replScope lookup (name: TypeName) orElse getClassIfDefined(name)
+  def terms(name: String): Symbol       = replScope lookup (name: TermName) orElse getModuleIfDefined(name)
+  def types[T: global.TypeTag] : Symbol = typeOf[T].typeSymbol
+  def terms[T: global.TypeTag] : Symbol = typeOf[T].termSymbol
+  def apply[T: global.TypeTag] : Symbol = typeOf[T].typeSymbol
+}
+defined object lookup
+
+scala> lookup("F") // this now works as a result of changing .typeSymbol to .typeSymbolDirect in IMain#Request#definedSymbols
+res0: $r.intp.global.Symbol = type F
+
+scala> 
+
+scala> 
diff --git a/test/files/run/t6439.scala b/test/files/run/t6439.scala
new file mode 100644
index 0000000000..175a1d134f
--- /dev/null
+++ b/test/files/run/t6439.scala
@@ -0,0 +1,32 @@
+import scala.tools.partest.ReplTest
+
+object Test extends ReplTest {
+
+  def code = """
+class A
+object A // warn
+trait B
+object B // warn
+object C
+object Bippy
+class C // warn
+class D
+def D = 0 // no warn
+val D = 0 // no warn
+object E
+var E = 0 // no warn
+object F
+type F = Int // no warn
+:power
+object lookup {
+  import intp._
+  def apply(name: String): Symbol       = types(name) orElse terms(name)
+  def types(name: String): Symbol       = replScope lookup (name: TypeName) orElse getClassIfDefined(name)
+  def terms(name: String): Symbol       = replScope lookup (name: TermName) orElse getModuleIfDefined(name)
+  def types[T: global.TypeTag] : Symbol = typeOf[T].typeSymbol
+  def terms[T: global.TypeTag] : Symbol = typeOf[T].termSymbol
+  def apply[T: global.TypeTag] : Symbol = typeOf[T].typeSymbol
+}
+lookup("F") // this now works as a result of changing .typeSymbol to .typeSymbolDirect in IMain#Request#definedSymbols
+             """
+}
diff --git a/test/files/run/t6956.check b/test/files/run/t6956.check
new file mode 100644
index 0000000000..0cfbf08886
--- /dev/null
+++ b/test/files/run/t6956.check
@@ -0,0 +1 @@
+2
diff --git a/test/files/run/t6956.scala b/test/files/run/t6956.scala
new file mode 100644
index 0000000000..4a6583ca45
--- /dev/null
+++ b/test/files/run/t6956.scala
@@ -0,0 +1,26 @@
+import scala.tools.partest.IcodeTest
+
+class Switches {
+  private[this] final val ONE = 1
+
+  def switchBad(i: Byte): Int = i match {
+    case ONE => 1
+    case 2 => 2
+    case 3 => 3
+    case _ => 0
+  }
+
+  def switchOkay(i: Byte): Int = i match {
+    case 1 => 1
+    case 2 => 2
+    case 3 => 3
+    case _ => 0
+  }
+}
+
+object Test extends IcodeTest {
+  // ensure we get two switches out of this -- ignore the rest of the output for robustness
+  // exclude the constant we emit for the "SWITCH ..." string below (we get the icode for all the code you see in this file)
+  override def show() = println(collectIcode("").filter(x => x.indexOf("SWITCH ...") >= 0 && x.indexOf("CONSTANT(") == -1).size)
+}
+
diff --git a/test/files/run/t6969.check b/test/files/run/t6969.check
new file mode 100644
index 0000000000..78297812c9
--- /dev/null
+++ b/test/files/run/t6969.check
@@ -0,0 +1 @@
+All threads completed.
diff --git a/test/files/run/t6969.scala b/test/files/run/t6969.scala
new file mode 100644
index 0000000000..8cfc28c1e5
--- /dev/null
+++ b/test/files/run/t6969.scala
@@ -0,0 +1,28 @@
+object Test {
+  private type Clearable = { def clear(): Unit }
+  private def choke() = {
+    try new Array[Object]((Runtime.getRuntime().maxMemory min Int.MaxValue).toInt)
+    catch {
+      case _: OutOfMemoryError => // what do you mean, out of memory?
+      case t: Throwable        => println(t)
+    }
+  }
+  private def f(x: Clearable) = x.clear()
+  class Choker(id: Int) extends Thread {
+    private def g(iteration: Int) = {
+      val map = scala.collection.mutable.Map[Int, Int](1 -> 2)
+      try f(map) catch { case t: NullPointerException => println(s"Failed at $id/$iteration") ; throw t }
+      choke()
+    }
+    override def run() {
+      1 to 50 foreach g
+    }
+  }
+
+  def main(args: Array[String]): Unit = {
+    val threads = 1 to 3 map (id => new Choker(id))
+    threads foreach (_.start())
+    threads foreach (_.join())
+    println("All threads completed.")
+  }
+}
diff --git a/test/files/run/t6987.check b/test/files/run/t6987.check
new file mode 100644
index 0000000000..86fc96c679
--- /dev/null
+++ b/test/files/run/t6987.check
@@ -0,0 +1 @@
+got successful verbose results!
diff --git a/test/files/run/t6987.scala b/test/files/run/t6987.scala
new file mode 100644
index 0000000000..37e91d61ae
--- /dev/null
+++ b/test/files/run/t6987.scala
@@ -0,0 +1,43 @@
+import java.io._
+import tools.nsc.{CompileClient, CompileServer}
+import java.util.concurrent.{CountDownLatch, TimeUnit}
+
+object Test extends App {
+  val startupLatch = new CountDownLatch(1)
+  // we have to explicitly launch our server because when the client launches a server it uses 
+  // the "scala" shell command meaning whatever version of scala (and whatever version of libraries)
+  // happens to be in the path gets used
+  val t = new Thread(new Runnable {
+    def run() = {
+      CompileServer.execute(() => startupLatch.countDown(), Array[String]())
+    }
+  })
+  t setDaemon true
+  t.start()
+  if (!startupLatch.await(2, TimeUnit.MINUTES))
+    sys error "Timeout waiting for server to start"
+
+  val baos = new ByteArrayOutputStream()
+  val ps = new PrintStream(baos) 
+
+  val success = (scala.Console withOut ps) {
+    // shut down the server via the client using the verbose flag
+    CompileClient.process(Array("-shutdown", "-verbose"))
+  }
+
+  // now make sure we got success and a verbose result
+  val msg = baos.toString()
+
+  if (success) {
+    if (msg contains "Settings after normalizing paths") {
+     println("got successful verbose results!")
+    } else {
+     println("did not get the string expected, full results were:")
+     println(msg)
+    }
+  } else {
+    println("got a failure. Full results were:")
+    println(msg)
+  }
+  scala.Console.flush
+}