[cfe] Move computeDefaultType to SourceMember/DeclarationBuilder

Change-Id: Ib37e7d6115a5e5f42b57c3a7d8e4bc10c8d78165
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/391401
Reviewed-by: Chloe Stefantsova <[email protected]>

Author: johnniwinther

pkg/front_end/lib/src/base/incremental_compiler.dart

@@ -1985,6 +1985,8 @@ class IncrementalCompiler implements IncrementalKernelGenerator {
               isAugmenting: false,
               indexedLibrary: null,
               mayImplementRestrictedTypes: false);
+      debugCompilationUnit.markLanguageVersionFinal();
+
       SourceLibraryBuilder debugLibrary = debugCompilationUnit.createLibrary();
       debugLibrary.buildNameSpace();
       libraryBuilder.libraryNameSpace.forEachLocalMember((name, member) {
@@ -2047,6 +2049,7 @@ class IncrementalCompiler implements IncrementalKernelGenerator {
           isAugmenting: false,
           indexedLibrary: null,
           mayImplementRestrictedTypes: false);
+      debugCompilationUnit.markLanguageVersionFinal();
 
       SourceLibraryBuilder? orgDebugLibrary = debugLibrary;
       debugLibrary = debugCompilationUnit.createLibrary();

pkg/front_end/lib/src/base/scope.dart

@@ -20,6 +20,7 @@ import '../kernel/body_builder_context.dart';
 import '../kernel/hierarchy/class_member.dart' show ClassMember;
 import '../kernel/kernel_helper.dart';
 import '../kernel/load_library_builder.dart';
+import '../kernel/type_algorithms.dart';
 import '../source/source_class_builder.dart';
 import '../source/source_extension_builder.dart';
 import '../source/source_extension_type_declaration_builder.dart';
@@ -722,6 +723,14 @@ mixin ErroneousMemberBuilderMixin implements SourceMemberBuilder {
     return 0;
   }
 
+  @override
+  // Coverage-ignore(suite): Not run.
+  int computeDefaultTypes(ComputeDefaultTypeContext context,
+      {required bool inErrorRecovery}) {
+    assert(false, "Unexpected call to $runtimeType.computeDefaultTypes.");
+    return 0;
+  }
+
   @override
   // Coverage-ignore(suite): Not run.
   List<ClassMember> get localMembers => const <ClassMember>[];

pkg/front_end/lib/src/kernel/type_algorithms.dart

@@ -19,6 +19,7 @@ import '../builder/procedure_builder.dart';
 import '../builder/type_builder.dart';
 import '../kernel/body_builder_context.dart';
 import '../kernel/kernel_helper.dart';
+import '../kernel/type_algorithms.dart';
 import 'source_constructor_builder.dart';
 import 'source_field_builder.dart';
 import 'source_library_builder.dart';
@@ -28,6 +29,8 @@ import 'source_procedure_builder.dart';
 
 abstract class SourceDeclarationBuilder implements IDeclarationBuilder {
   void buildScopes(LibraryBuilder coreLibrary);
+
+  int computeDefaultTypes(ComputeDefaultTypeContext context);
 }
 
 mixin SourceDeclarationBuilderMixin
@@ -126,6 +129,35 @@ mixin SourceDeclarationBuilderMixin
     return count;
   }
 
+  @override
+  int computeDefaultTypes(ComputeDefaultTypeContext context) {
+    bool hasErrors = context.reportNonSimplicityIssues(this, typeParameters);
+    int count = context.computeDefaultTypesForVariables(typeParameters,
+        inErrorRecovery: hasErrors);
+
+    Iterator<SourceMemberBuilder> iterator =
+        nameSpace.filteredConstructorIterator<SourceMemberBuilder>(
+            parent: this, includeDuplicates: false, includeAugmentations: true);
+    while (iterator.moveNext()) {
+      count += iterator.current
+          .computeDefaultTypes(context, inErrorRecovery: hasErrors);
+    }
+
+    forEach((String name, Builder member) {
+      if (member is SourceMemberBuilder) {
+        count +=
+            member.computeDefaultTypes(context, inErrorRecovery: hasErrors);
+      } else {
+        // Coverage-ignore-block(suite): Not run.
+        assert(
+            false,
+            "Unexpected extension type member "
+            "$member (${member.runtimeType}).");
+      }
+    });
+    return count;
+  }
+
   void checkTypesInOutline(TypeEnvironment typeEnvironment) {
     forEach((String name, Builder builder) {
       if (builder is SourceFieldBuilder) {

pkg/front_end/lib/src/source/source_builder_mixins.dart

@@ -42,6 +42,7 @@ import '../kernel/body_builder_context.dart';
 import '../kernel/hierarchy/hierarchy_builder.dart';
 import '../kernel/hierarchy/hierarchy_node.dart';
 import '../kernel/kernel_helper.dart';
+import '../kernel/type_algorithms.dart';
 import '../kernel/utils.dart' show compareProcedures;
 import 'class_declaration.dart';
 import 'name_scheme.dart';
@@ -1147,6 +1148,29 @@ class SourceClassBuilder extends ClassBuilderImpl
     }
   }
 
+  @override
+  int computeDefaultTypes(ComputeDefaultTypeContext context) {
+    bool hasErrors = context.reportNonSimplicityIssues(this, typeParameters);
+    int count = context.computeDefaultTypesForVariables(typeParameters,
+        inErrorRecovery: hasErrors);
+
+    Iterator<SourceMemberBuilder> iterator =
+        nameSpace.filteredConstructorIterator<SourceMemberBuilder>(
+            parent: this, includeDuplicates: false, includeAugmentations: true);
+    while (iterator.moveNext()) {
+      count += iterator.current
+          .computeDefaultTypes(context, inErrorRecovery: hasErrors);
+    }
+
+    Iterator<SourceMemberBuilder> memberIterator =
+        fullMemberIterator<SourceMemberBuilder>();
+    while (memberIterator.moveNext()) {
+      count += memberIterator.current
+          .computeDefaultTypes(context, inErrorRecovery: hasErrors);
+    }
+    return count;
+  }
+
   void checkTypesInOutline(TypeEnvironment typeEnvironment) {
     Iterator<SourceMemberBuilder> memberIterator =
         fullMemberIterator<SourceMemberBuilder>();