Add Ycheck to stdlib-bootstrapped

Adding `-Ycheck` to stdlib-bootstrapped will tests the integrity of
trees generated when compiling with the `-Yscala2-stdlib` flag.

Author: nicolasstucki

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -1369,7 +1369,9 @@ class Definitions {
       denot.sourceModule.info = denot.typeRef // we run into a cyclic reference when patching if this line is omitted
       patch2(denot, patchCls)
 
-    if denot.name == tpnme.Predef.moduleClassName && denot.symbol == ScalaPredefModuleClass then
+    if ctx.settings.Yscala2Stdlib.value then
+      ()
+    else if denot.name == tpnme.Predef.moduleClassName && denot.symbol == ScalaPredefModuleClass then
       patchWith(ScalaPredefModuleClassPatch)
     else if denot.name == tpnme.language.moduleClassName && denot.symbol == LanguageModuleClass then
       patchWith(LanguageModuleClassPatch)
@@ -1724,8 +1726,9 @@ class Definitions {
     isFunctionType(tp) || isRefinedFunctionType(tp)
 
   private def withSpecMethods(cls: ClassSymbol, bases: List[Name], paramTypes: Set[TypeRef]) =
-    for base <- bases; tp <- paramTypes do
-      cls.enter(newSymbol(cls, base.specializedName(List(tp)), Method, ExprType(tp)))
+    if !ctx.settings.Yscala2Stdlib.value then
+      for base <- bases; tp <- paramTypes do
+        cls.enter(newSymbol(cls, base.specializedName(List(tp)), Method, ExprType(tp)))
     cls
 
   @tu lazy val Tuple1: ClassSymbol = withSpecMethods(requiredClass("scala.Tuple1"), List(nme._1), Tuple1SpecializedParamTypes)
@@ -1766,6 +1769,7 @@ class Definitions {
       case List(x, y) => Tuple2SpecializedParamClasses().contains(x.classSymbol) && Tuple2SpecializedParamClasses().contains(y.classSymbol)
       case _          => false
     && base.owner.denot.info.member(base.name.specializedName(args)).exists // when dotc compiles the stdlib there are no specialised classes
+    && !ctx.settings.Yscala2Stdlib.value // We do not add the specilized TupleN methods/classes when compiling the stdlib
 
   def isSpecializableFunction(cls: ClassSymbol, paramTypes: List[Type], retType: Type)(using Context): Boolean =
     paramTypes.length <= 2

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

@@ -2,6 +2,7 @@ package dotty.tools.dotc
 package transform
 
 import core.Names.Name
+import core.NameOps._
 import core.DenotTransformers._
 import core.SymDenotations._
 import core.Contexts._
@@ -751,10 +752,12 @@ object TreeChecker {
         case _ =>
           "??"
       }
-      if (ctx.mode.isExpr &&
-          !tree.isEmpty &&
-          !isPrimaryConstructorReturn &&
-          !pt.isInstanceOf[FunOrPolyProto])
+      if ctx.mode.isExpr
+        && tree.isEmpty
+        && isPrimaryConstructorReturn
+        && pt.isInstanceOf[FunOrPolyProto]
+        && !(ctx.settings.Yscala2Stdlib.value && tree.symbol.name.endsWith(nme.specializedTypeNames.suffix.toString)) // FIXME: these symbols should not be in the function classes
+      then
         assert(tree.tpe <:< pt, {
           val mismatch = TypeMismatch(tree.tpe, pt, Some(tree))
           i"""|${mismatch.msg}

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2714,6 +2714,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
          && !cls.isAllOf(PrivateLocal)
          && effectiveOwner.is(Trait)
          && !effectiveOwner.derivesFrom(defn.ObjectClass)
+         && !ctx.settings.Yscala2Stdlib.value // FIXME?: class PermutationsItr cannot be defined in universal trait SeqOps
       then
         report.error(em"$cls cannot be defined in universal $effectiveOwner", cdef.srcPos)
 

project/Build.scala

@@ -940,6 +940,7 @@ object Build {
       },
       Compile / doc / scalacOptions += "-Ydocument-synthetic-types",
       scalacOptions += "-Yscala2-stdlib",
+      scalacOptions += "-Ycheck:all",
       scalacOptions -= "-Xfatal-warnings",
       ivyConfigurations += SourceDeps.hide,
       transitiveClassifiers := Seq("sources"),