Add tastyBootstrap to recheck tests

Author: odersky

compiler/test/dotc/pos-test-recheck.exludes

@@ -6,5 +6,5 @@ i6199b.scala
 i6199c.scala
 
 # Skolemized type fails -Ycheck after recheck (NamedType caching problem?)
-i583.scala
+i583a.scala
 

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

@@ -253,15 +253,15 @@ class CompilationTests {
         Properties.compilerInterface, Properties.scalaLibrary, Properties.scalaAsm,
         Properties.dottyInterfaces, Properties.jlineTerminal, Properties.jlineReader,
       ).mkString(File.pathSeparator),
-      Array("-Ycheck-reentrant", "-language:postfixOps", "-Xsemanticdb")
+      Array("-Ycheck-reentrant", "-Yrecheck", "-language:postfixOps", "-Xsemanticdb")
     )
 
     val libraryDirs = List(Paths.get("library/src"), Paths.get("library/src-bootstrapped"))
     val librarySources = libraryDirs.flatMap(sources(_))
 
     val lib =
       compileList("lib", librarySources,
-        defaultOptions.and("-Ycheck-reentrant",
+        defaultOptions.and("-Ycheck-reentrant", "-Yrecheck",
           "-language:experimental.erasedDefinitions", // support declaration of scala.compiletime.erasedValue
           //  "-source", "future",  // TODO: re-enable once we allow : @unchecked in pattern definitions. Right now, lots of narrowing pattern definitions fail.
           ))(libGroup)