2 files changed, 37 insertions, 0 deletions
diff --git a/test/files/jvm/future-spec/FutureTests.scala b/test/files/jvm/future-spec/FutureTests.scala
index 0efa83fbd9..ddd819c109 100644
--- a/test/files/jvm/future-spec/FutureTests.scala
+++ b/test/files/jvm/future-spec/FutureTests.scala
@@ -71,6 +71,25 @@ object FutureTests extends MinimalScalaTest {
     }
   }
 
+  "The Future companion object" should {
+    "call ExecutionContext.prepare on apply" in {
+      val p = Promise[Boolean]()
+      val ec = new ExecutionContext {
+        val delegate = ExecutionContext.global
+        override def prepare(): ExecutionContext = {
+          p.success(true)
+          delegate.prepare
+        }
+        override def execute(r: Runnable) = delegate.execute(r)
+        override def reportFailure(t: Throwable): Unit = delegate.reportFailure(t)
+      }
+
+      val f = Future("foo")(ec)
+      Await.result(f, defaultTimeout) mustBe ("foo")
+      Await.result(p.future, defaultTimeout) mustBe (true)
+    }
+  }
+
   "The default ExecutionContext" should {
     "report uncaught exceptions" in {
       val p = Promise[Throwable]()
diff --git a/test/files/pos/t5886.scala b/test/files/pos/t5886.scala
new file mode 100644
index 0000000000..066187322d
--- /dev/null
+++ b/test/files/pos/t5886.scala
@@ -0,0 +1,18 @@
+object A {
+  def f0[T](x: T): T = x
+  def f1[T](x: => T): T = x
+  def f2[T](x: () => T): T = x()
+
+  f0(this.getClass)  // ok
+  f1(this.getClass)
+  f2(this.getClass)  // ok
+
+  // a.scala:7: error: type mismatch;
+  //  found   : Class[_ <: A.type]
+  //  required: Class[?0(in value x1)] where type ?0(in value x1) <: A.type
+  // Note: A.type >: ?0, but Java-defined class Class is invariant in type T.
+  // You may wish to investigate a wildcard type such as `_ >: ?0`. (SLS 3.2.10)
+  //   val x1 = f1(this.getClass)
+  //                    ^
+  // one error found
+}