10 files changed, 131 insertions, 0 deletions
diff --git a/test/files/neg/t8430.check b/test/files/neg/t8430.check
new file mode 100644
index 0000000000..7c6a73ce53
--- /dev/null
+++ b/test/files/neg/t8430.check
@@ -0,0 +1,27 @@
+t8430.scala:15: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+t8430.scala:16: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+t8430.scala:17: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+t8430.scala:18: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+t8430.scala:19: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+t8430.scala:20: warning: match may not be exhaustive.
+It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+                  ^
+error: No warnings can be incurred under -Xfatal-warnings.
+6 warnings found
+one error found
diff --git a/test/files/neg/t8430.flags b/test/files/neg/t8430.flags
new file mode 100644
index 0000000000..85d8eb2ba2
--- /dev/null
+++ b/test/files/neg/t8430.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
diff --git a/test/files/neg/t8430.scala b/test/files/neg/t8430.scala
new file mode 100644
index 0000000000..4166b08a0a
--- /dev/null
+++ b/test/files/neg/t8430.scala
@@ -0,0 +1,32 @@
+sealed trait CL3Literal
+case object IntLit extends CL3Literal
+case object CharLit extends CL3Literal
+case object BooleanLit extends CL3Literal
+case object UnitLit extends CL3Literal
+ 
+ 
+sealed trait Tree
+case class LetL(value: CL3Literal) extends Tree
+case object LetP extends Tree
+case object LetC extends Tree
+case object LetF extends Tree
+ 
+object Test {
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
+  // After the first patch for SI-8430, we achieve stability: all of 
+  // these get the same warning:
+  //
+  // ??, LetC, LetF, LetL(IntLit), LetP
+  //
+  // Before, it was non-deterministic.
+  //
+  // However, we our list of counter examples is itself non-exhaustive.
+  // We need to rework counter example generation to fix that.
+  //
+  // That work is the subject of SI-7746
+}
diff --git a/test/files/neg/t8450.check b/test/files/neg/t8450.check
new file mode 100644
index 0000000000..eeabb9730c
--- /dev/null
+++ b/test/files/neg/t8450.check
@@ -0,0 +1,6 @@
+t8450.scala:5: warning: implicit numeric widening
+  def elapsed: Foo = (System.nanoTime - 100L).foo
+                                      ^
+error: No warnings can be incurred under -Xfatal-warnings.
+one warning found
+one error found
diff --git a/test/files/neg/t8450.flags b/test/files/neg/t8450.flags
new file mode 100644
index 0000000000..9a1332d7af
--- /dev/null
+++ b/test/files/neg/t8450.flags
@@ -0,0 +1 @@
+-Ywarn-numeric-widen -Xfatal-warnings
+\ No newline at end of file
diff --git a/test/files/neg/t8450.scala b/test/files/neg/t8450.scala
new file mode 100644
index 0000000000..f20ed2bc31
--- /dev/null
+++ b/test/files/neg/t8450.scala
@@ -0,0 +1,12 @@
+trait Foo
+
+class WarnWidening {
+  implicit class FooDouble(d: Double) { def foo = new Foo {} }
+  def elapsed: Foo = (System.nanoTime - 100L).foo
+}
+
+class NoWarnWidening {
+  implicit class FooLong(l: Long) { def foo = new Foo {} }
+  implicit class FooDouble(d: Double) { def foo = new Foo {} }
+  def elapsed: Foo = (System.nanoTime - 100L).foo
+}
diff --git a/test/files/pos/t8497/A_1.scala b/test/files/pos/t8497/A_1.scala
new file mode 100644
index 0000000000..6a76b0ee99
--- /dev/null
+++ b/test/files/pos/t8497/A_1.scala
@@ -0,0 +1,13 @@
+package p {
+  object Crash {
+    def e(s: (String @java.lang.Deprecated)): Unit = ()
+    def f(s: (String @nonStatic)): Unit = ()
+  }
+  object Ok {
+    def g(s: (String @nonStatic @static)): Unit = ()
+    def h(s: (String @static)): Unit = ()
+  }
+}
+
+class nonStatic extends scala.annotation.Annotation
+class static extends scala.annotation.StaticAnnotation
diff --git a/test/files/pos/t8497/B_2.scala b/test/files/pos/t8497/B_2.scala
new file mode 100644
index 0000000000..efe2edf2c3
--- /dev/null
+++ b/test/files/pos/t8497/B_2.scala
@@ -0,0 +1 @@
+package p { object Test { Crash } }
diff --git a/test/files/run/t7992.scala b/test/files/run/t7992.scala
new file mode 100644
index 0000000000..fde231b961
--- /dev/null
+++ b/test/files/run/t7992.scala
@@ -0,0 +1,20 @@
+class C {
+  def foo: Int = 0
+}
+
+class D extends C {
+  override def foo: Int = {
+    val f = () => {
+      class C     // comment this line to fix.
+      D.super.foo // no super accessor generated here!
+      // java.lang.VerifyError: (class: D$$anonfun$1, method: apply$mcI$sp signature: ()I) Illegal use of nonvirtual function call
+    }
+    f()
+  }
+}
+
+object Test {
+  def main(args: Array[String]) {
+    new D().foo
+  }
+}
diff --git a/test/files/run/t7992b.scala b/test/files/run/t7992b.scala
new file mode 100644
index 0000000000..6fe1f990d5
--- /dev/null
+++ b/test/files/run/t7992b.scala
@@ -0,0 +1,18 @@
+class C {
+  def foo: Int = 0
+}
+
+class E extends C {
+  override def foo: Int = {
+    (None: Option[Int]).getOrElse {
+      class C
+      E.super.foo 
+    }
+  }
+}
+
+object Test {
+  def main(args: Array[String]) {
+    new E().foo
+  }
+}