Isolate the two failing tests in run-not-optimised

Author: OlivierBlanvillain

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -168,6 +168,10 @@ class CompilationTests extends ParallelTesting {
   @Test def runAll: Unit =
     compileFilesInDir("../tests/run", defaultOptions).checkRuns()
 
+  // The two tests that current fail under -optimise
+  @Test def runNotOptimised: Unit =
+    compileFilesInDir("../tests/run-not-optimised", defaultOptions.filterNot("-optimise".==)).checkRuns()
+
   // Pickling Tests ------------------------------------------------------------
   //
   // Pickling tests are very memory intensive and as such need to be run with a

tests/pending/t7126.scala

@@ -0,0 +1,29 @@
+object O {
+  case class N()
+  object P
+}
+
+object Outer {
+  println("Outer")
+  object Inner {
+    println("Inner")
+    def i: Unit = {
+      println("Inner.i")
+    }
+  }
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    Outer.Inner.i // we still don't initialize Outer here (but should we?)
+
+    {println("About to reference Inner.i"); Outer}.Inner.i // Outer will be initialized.
+
+    {println("About to reference O.N"        ); O}.N
+
+    {println("About to reference O.N"        ); O}.N
+
+    {println("About to reference O.N.apply()"); O}.N.apply()
+  }
+}
+

tests/run/t4859.check renamed to tests/run-not-optimised/t4859.check

@@ -0,0 +1,20 @@
+import language._
+
+// Currently typer infers a Nothing as a CC[T] to be Nothing[T], and isn't
+// able to figure out that Nothing[Any] =:= Nothing. We've had a discussion
+// that it should instead infer CC[T] to be type lambda T => Nothing to be
+// kind-correct. #2439
+
+object T7126 {
+  type T = Any
+  boom(???): Option[T] // SOE
+  def boom[CC[U]](t : CC[T]): Option[CC[T]] = None
+
+  // okay
+  foo(???): Option[Any]
+  def foo[CC[U]](t : CC[Any]): Option[CC[Any]] = None
+}
+
+object Test {
+  def main(args: Array[String]): Unit = ()
+}

tests/run-not-optimised/t4859.scala

@@ -3,6 +3,8 @@ object O {
   object P
 }
 
+// We assume module initialisation to be pure, running this test under
+// -optimise yields different results.
 object Outer {
   println("Outer")
   object Inner {