Only enable -Ykind-projector for relevant tests

Author: travisbrown

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

@@ -60,6 +60,7 @@ class CompilationTests extends ParallelTesting {
       compileFile("tests/pos-special/notNull.scala", defaultOptions.and("-Yexplicit-nulls")),
       compileDir("tests/pos-special/adhoc-extension", defaultOptions.and("-strict", "-feature", "-Xfatal-warnings")),
       compileFile("tests/pos-special/i7575.scala", defaultOptions.and("-language:dynamics")),
+      compileFile("tests/pos-special/kind-projector.scala", defaultOptions.and("-Ykind-projector")),
     ).checkCompile()
   }
 
@@ -148,6 +149,7 @@ class CompilationTests extends ParallelTesting {
       compileFile("tests/neg-custom-args/extmethods-tparams.scala", defaultOptions.and("-deprecation", "-Xfatal-warnings")),
       compileDir("tests/neg-custom-args/adhoc-extension", defaultOptions.and("-strict", "-feature", "-Xfatal-warnings")),
       compileFile("tests/neg/i7575.scala", defaultOptions.and("-language:_")),
+      compileFile("tests/neg-custom-args/kind-projector.scala", defaultOptions.and("-Ykind-projector")),
     ).checkExpectedErrors()
   }
 

compiler/test/dotty/tools/vulpix/TestConfiguration.scala

@@ -16,8 +16,7 @@ object TestConfiguration {
     "-Yno-deep-subtypes",
     "-Yno-double-bindings",
     "-Yforce-sbt-phases",
-    "-Xverify-signatures",
-    "-Ykind-projector"
+    "-Xverify-signatures"
   )
 
   val basicClasspath = mkClasspath(List(

tests/neg/kind-projector.check renamed to tests/neg-custom-args/kind-projector.check

@@ -1,12 +1,12 @@
--- Error: tests/neg/kind-projector.scala:7:23 --------------------------------------------------------------------------
+-- Error: tests/neg-custom-args/kind-projector.scala:7:23 --------------------------------------------------------------
 7 |class Bar3 extends Foo[λ[List[x] => Int]] // error
   |                       ^^^^^^^^^^^^^^^^^
   |                       λ requires a single argument of the form X => ... or (X, Y) => ...
--- Error: tests/neg/kind-projector.scala:5:23 --------------------------------------------------------------------------
+-- Error: tests/neg-custom-args/kind-projector.scala:5:23 --------------------------------------------------------------
 5 |class Bar1 extends Foo[Either[*, *]] // error
   |                       ^^^^^^^^^^^^
   |                       Type argument Either has not the same kind as its bound  <: [_$1] => Any
--- Error: tests/neg/kind-projector.scala:6:22 --------------------------------------------------------------------------
+-- Error: tests/neg-custom-args/kind-projector.scala:6:22 --------------------------------------------------------------
 6 |class Bar2 extends Foo[*] // error
   |                      ^
   |                      Type argument X0 has not the same kind as its bound  <: [_$1] => Any