Merge pull request #13308 from dotty-staging/add-rechecker-cc

Add rechecker

Author: odersky

compiler/src/dotty/tools/dotc/Compiler.scala

@@ -101,8 +101,8 @@ class Compiler {
          new TupleOptimizations,     // Optimize generic operations on tuples
          new LetOverApply,           // Lift blocks from receivers of applications
          new ArrayConstructors) ::   // Intercept creation of (non-generic) arrays and intrinsify.
-    List(new PreRecheck) ::
-    List(new TestRecheck) ::
+    List(new PreRecheck) ::          // Preparations for recheck phase, enabled under -Yrecheck
+    List(new TestRecheck) ::         // Test rechecking, enabled under -Yrecheck
     List(new Erasure) ::             // Rewrite types to JVM model, erasing all type parameters, abstract types and refinements.
     List(new ElimErasedValueType,    // Expand erased value types to their underlying implmementation types
          new PureStats,              // Remove pure stats from blocks