Fix -Ycheck:all error: mismatch of parents

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -561,7 +561,9 @@ class PostTyper extends MacroTransform with InfoTransformer { thisPhase =>
       then
         sym.addAnnotation(Annotation(defn.ExperimentalAnnot, sym.span))
 
-    private def scala2LibPatch(tree: TypeDef)(using Context) =
+    // It needs to run at the phase of the postTyper --- otherwise, the test of the symbols will use
+    // the transformed denotation with added `Serializable` and `AbstractFunction`.
+    private def scala2LibPatch(tree: TypeDef)(using Context) = atPhase(thisPhase):
       val sym = tree.symbol
       if compilingScala2StdLib && sym.is(ModuleClass) then
         // Add Serializable to companion objects of serializable classes,

tests/init-global/pos/scala2-library.scala

@@ -1,2 +1,2 @@
-//> using options -Ysafe-init-global -Ycompile-scala2-library
+//> using options -Ycompile-scala2-library
 case class UninitializedFieldError(msg: String) extends RuntimeException(msg)