Disable Ycheck for i24547

Author: noti0na1

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

@@ -41,6 +41,7 @@ class CompilationTests {
       compileFile("tests/pos-special/utf8encoded.scala", defaultOptions.and("-encoding", "UTF8")),
       compileFile("tests/pos-special/utf16encoded.scala", defaultOptions.and("-encoding", "UTF16")),
       compileDir("tests/pos-special/i18589", defaultOptions.and("-Wsafe-init").without("-Ycheck:all")),
+      compileDir("tests/pos-special/i24547", defaultOptions.without("-Ycheck:all")),
       // Run tests for legacy lazy vals
       compileFilesInDir("tests/pos", defaultOptions.and("-Wsafe-init", "-Ylegacy-lazy-vals", "-Ycheck-constraint-deps"), FileFilter.include(TestSources.posLazyValsAllowlist)),
       compileDir("tests/pos-special/java-param-names", defaultOptions.withJavacOnlyOptions("-parameters")),

tests/pos-macros/i24547/ReproMacro_1.scala renamed to tests/pos-special/i24547/ReproMacro_1.scala

@@ -2,6 +2,9 @@
 // Test case: abstract type parameter Coll[Int] with @retains annotation
 // causes "not a legal path" error when macro creates new ValDef
 
+// TODO: there are some other issues with this test case, so it is currently disabled
+// for `Ycheck:all`. We should move it back to `pos-macro` once those issues are fixed.
+
 import scala.collection.IterableOps
 
 def reproTest[Coll[X] <: Iterable[X] & IterableOps[X, Coll, Coll[X]]]: Unit =