Add warn functionality to Vulpix & move tests/init from neg to warn

Author: szymon-rd

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

@@ -216,7 +216,10 @@ class CompilationTests {
   @Test def checkInitGlobal: Unit = {
     implicit val testGroup: TestGroup = TestGroup("checkInitGlobal")
     val options = defaultOptions.and("-Ysafe-init-global", "-Xfatal-warnings")
+    compileFilesInDir("tests/init-global/neg", options).checkExpectedErrors()
+    compileFilesInDir("tests/init-global/pos", options).checkCompile()
     compileFilesInDir("tests/init-global/neg", options, FileFilter.exclude(TestSources.negInitGlobalScala2LibraryTastyBlacklisted)).checkExpectedErrors()
+    compileFilesInDir("tests/init-global/warn", defaultOptions.and("-Ysafe-init-global"), FileFilter.exclude(TestSources.negInitGlobalScala2LibraryTastyBlacklisted)).checkWarnings()
     compileFilesInDir("tests/init-global/pos", options, FileFilter.exclude(TestSources.posInitGlobalScala2LibraryTastyBlacklisted)).checkCompile()
   }
 
@@ -225,6 +228,7 @@ class CompilationTests {
     implicit val testGroup: TestGroup = TestGroup("checkInit")
     val options = defaultOptions.and("-Ysafe-init", "-Xfatal-warnings")
     compileFilesInDir("tests/init/neg", options).checkExpectedErrors()
+    compileFilesInDir("tests/init/warn", defaultOptions.and("-Ysafe-init")).checkWarnings()
     compileFilesInDir("tests/init/pos", options).checkCompile()
     compileFilesInDir("tests/init/crash", options.without("-Xfatal-warnings")).checkCompile()
     // The regression test for i12128 has some atypical classpath requirements.

tests/init/neg/early-promote2.scala

@@ -4,6 +4,6 @@ abstract class AbstractFile {
 }
 
 class RemoteFile(url: String) extends AbstractFile {
-	val localFile: String = s"${url.##}.tmp"  // error: usage of `localFile` before it's initialized
+	val localFile: String = s"${url.##}.tmp"  // warn: usage of `localFile` before it's initialized
 	def name: String = localFile
 }

tests/init/neg/simple1.scala

@@ -1,5 +1,5 @@
 class Foo {
   val self = this
   val x = self.n
-  val n = 10       // error
+  val n = 10       // warn
 }

tests/init/neg/soundness4.scala

@@ -6,7 +6,7 @@ object A:
 
 class B:
   val a = A(this)
-  val a2 = A.foo(this)   // error
+  val a2 = A.foo(this)   // warn
   val a3 = A.bar(this)
 
 // test receiver is ThisRef
@@ -20,7 +20,7 @@ object O:
 
   class B:
     val a = A(this)
-    val a2 = A.foo(this)   // error
+    val a2 = A.foo(this)   // warn
     val a3 = A.bar(this)
 
   val b = new B
@@ -38,7 +38,7 @@ class M(n: N):
 
   class B:
     val a = A(this)
-    val a2 = A.foo(this)   // error
+    val a2 = A.foo(this)   // warn
     val a3 = A.bar(this)
 end M
 

tests/init/neg/AbstractFile.scala renamed to tests/init/warn/AbstractFile.scala

@@ -3,7 +3,7 @@ class O:
     println(n)
 
   class B:
-    val a = A(this)  // error
+    val a = A(this)  // warn
 
   val b = new B
   val n = 10

tests/init/neg/alias.scala renamed to tests/init/warn/alias.scala

@@ -1,7 +1,7 @@
 final class MyAsInstanceOfClass(o: MyAsInstanceOfClass) {
   val other: MyAsInstanceOfClass = {
     if (o.asInstanceOf[MyAsInstanceOfClass].oRef ne null) o
-    else new MyAsInstanceOfClass(this)  // error
+    else new MyAsInstanceOfClass(this)  // warn
   }
   val oRef = o
 }

tests/init/neg/apply.scala renamed to tests/init/warn/apply.scala

@@ -8,6 +8,6 @@ object Foo {
 }
 
 class A {
-  val foo = implicitly[Foo]     // error
+  val foo = implicitly[Foo]     // warn
   assert(foo eq foo.next)
 }