Compiler crash: Iterables do not have same length.

[modulovalue]

Crash when compiling ... .
at character offset null:
Invalid argument(s): Iterables do not have same length.
#0      MapBase._fillMapWithIterables (dart:collection/maps.dart:92:7)
#1      new LinkedHashMap.fromIterables (dart:collection/linked_hash_map.dart:126:13)
#2      findTypeArgumentIssues (package:kernel/src/bounds_checks.dart:385:11)
#3      SourceLibraryBuilder.checkBoundsInType (package:front_end/src/fasta/source/source_library_builder.dart:3987:38)
#4      BodyBuilder._unaliasTypeAliasedConstructorInvocations (package:front_end/src/fasta/kernel/body_builder.dart:1389:22)
#5      BodyBuilder.performBacklogComputations (package:front_end/src/fasta/kernel/body_builder.dart:889:5)
#6      BodyBuilder.finishFields (package:front_end/src/fasta/kernel/body_builder.dart:877:5)
#7      DietListener._parseFields (package:front_end/src/fasta/source/diet_listener.dart:1010:17)
#8      DietListener.buildFields (package:front_end/src/fasta/source/diet_listener.dart:832:5)
#9      DietListener.endTopLevelFields (package:front_end/src/fasta/source/diet_listener.dart:376:5)
#10     Parser.parseFields (package:_fe_analyzer_shared/src/parser/parser_impl.dart:2949:18)
#11     Parser.parseTopLevelMemberImpl (package:_fe_analyzer_shared/src/parser/parser_impl.dart:2839:12)
#12     Parser.parseTopLevelDeclarationImpl (package:_fe_analyzer_shared/src/parser/parser_impl.dart:509:16)
#13     Parser.parseUnit (package:_fe_analyzer_shared/src/parser/parser_impl.dart:377:15)
#14     SourceLoader.buildBody (package:front_end/src/fasta/source/source_loader.dart:826:14)
<asynchronous suspension>
#15     SourceLoader.buildBodies (package:front_end/src/fasta/source/source_loader.dart:388:9)
<asynchronous suspension>
#16     KernelTarget.buildComponent.<anonymous closure> (package:front_end/src/fasta/kernel/kernel_target.dart:548:7)
<asynchronous suspension>
#17     withCrashReporting (package:front_end/src/fasta/crash.dart:122:12)
<asynchronous suspension>
#18     generateKernelInternal.<anonymous closure> (package:front_end/src/kernel_generator_impl.dart:162:19)
<asynchronous suspension>
#19     withCrashReporting (package:front_end/src/fasta/crash.dart:122:12)
<asynchronous suspension>
#20     generateKernel.<anonymous closure> (package:front_end/src/kernel_generator_impl.dart:50:12)
<asynchronous suspension>
#21     generateKernel (package:front_end/src/kernel_generator_impl.dart:49:10)
<asynchronous suspension>
#22     kernelForModule (package:front_end/src/api_prototype/kernel_generator.dart:97:11)
<asynchronous suspension>
#23     SingleShotCompilerWrapper.compileInternal (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:398:11)
<asynchronous suspension>
#24     Compiler.compile.<anonymous closure> (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:216:45)
<asynchronous suspension>
#25     _processLoadRequest (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:886:37)
<asynchronous suspension>


#0      MapBase._fillMapWithIterables (dart:collection/maps.dart:92:7)
#1      new LinkedHashMap.fromIterables (dart:collection/linked_hash_map.dart:126:13)
#2      findTypeArgumentIssues (package:kernel/src/bounds_checks.dart:385:11)
#3      SourceLibraryBuilder.checkBoundsInType (package:front_end/src/fasta/source/source_library_builder.dart:3987:38)
#4      BodyBuilder._unaliasTypeAliasedConstructorInvocations (package:front_end/src/fasta/kernel/body_builder.dart:1389:22)
#5      BodyBuilder.performBacklogComputations (package:front_end/src/fasta/kernel/body_builder.dart:889:5)
#6      BodyBuilder.finishFields (package:front_end/src/fasta/kernel/body_builder.dart:877:5)
#7      DietListener._parseFields (package:front_end/src/fasta/source/diet_listener.dart:1010:17)
#8      DietListener.buildFields (package:front_end/src/fasta/source/diet_listener.dart:832:5)
#9      DietListener.endTopLevelFields (package:front_end/src/fasta/source/diet_listener.dart:376:5)
#10     Parser.parseFields (package:_fe_analyzer_shared/src/parser/parser_impl.dart:2949:18)
#11     Parser.parseTopLevelMemberImpl (package:_fe_analyzer_shared/src/parser/parser_impl.dart:2839:12)
#12     Parser.parseTopLevelDeclarationImpl (package:_fe_analyzer_shared/src/parser/parser_impl.dart:509:16)
#13     Parser.parseUnit (package:_fe_analyzer_shared/src/parser/parser_impl.dart:377:15)
#14     SourceLoader.buildBody (package:front_end/src/fasta/source/source_loader.dart:826:14)
<asynchronous suspension>
#15     SourceLoader.buildBodies (package:front_end/src/fasta/source/source_loader.dart:388:9)
<asynchronous suspension>
#16     KernelTarget.buildComponent.<anonymous closure> (package:front_end/src/fasta/kernel/kernel_target.dart:548:7)
<asynchronous suspension>
#17     withCrashReporting (package:front_end/src/fasta/crash.dart:122:12)
<asynchronous suspension>
#18     generateKernelInternal.<anonymous closure> (package:front_end/src/kernel_generator_impl.dart:162:19)
<asynchronous suspension>
#19     withCrashReporting (package:front_end/src/fasta/crash.dart:122:12)
<asynchronous suspension>
#20     generateKernel.<anonymous closure> (package:front_end/src/kernel_generator_impl.dart:50:12)
<asynchronous suspension>
#21     generateKernel (package:front_end/src/kernel_generator_impl.dart:49:10)
<asynchronous suspension>
#22     kernelForModule (package:front_end/src/api_prototype/kernel_generator.dart:97:11)
<asynchronous suspension>
#23     SingleShotCompilerWrapper.compileInternal (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:398:11)
<asynchronous suspension>
#24     Compiler.compile.<anonymous closure> (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:216:45)
<asynchronous suspension>
#25     _processLoadRequest (file:///opt/s/w/ir/cache/builder/sdk/pkg/vm/bin/kernel_service.dart:886:37)
<asynchronous suspension>

const HInvalid invalidExample = HInvalidComposite(
  [
    HInvalidLeaf(0),
    HInvalidChild(
      HInvalidLeaf(0),
    ),
    HInvalidError("error message"),
  ],
);

typedef HInvalid = HBase<HKindInvalid>;
typedef HInvalidComposite<CHILD extends HInvalid> = HBaseComposite<HKindInvalid, CHILD>;
typedef HInvalidChild<CHILD extends HInvalid> = HBaseChild<HKindInvalid, CHILD>;
typedef HInvalidLeaf = HBaseLeaf<HKindInvalid>;
typedef HInvalidError = HBaseError<HKindInvalid>;

abstract class HBase<HKT extends HKind> implements Kind<HKT> {}

class HBaseComposite<HKT extends HKindValid, CHILD extends HBase<HKT>> implements HBase<HKT> {
  final List<CHILD> children;

  const HBaseComposite(
    final this.children,
  );
}

class HBaseChild<HKT extends HKindValid, CHILD extends HBase<HKT>> implements HBase<HKT> {
  final CHILD child;

  const HBaseChild(
    final this.child,
  );
}

class HBaseLeaf<HKT extends HKindValid> implements HBase<HKT> {
  final int data;

  const HBaseLeaf(
    final this.data,
  );
}

class HBaseError<HKT extends HKindInvalid> implements HBase<HKT> {
  final String errorMessage;

  const HBaseError(
    final this.errorMessage,
  );
}

abstract class Kind<HKT extends HKind> {}

abstract class HKind {}

abstract class HKindValid implements HKind {}

abstract class HKindInvalid implements HKindValid {}

[Pranav2907]

Can i get the whole project if possible?

[Pranav2907]

I guess the problem is in the abstraction of classes they are not properly extended .

[modulovalue]

Can i get the whole project if possible?

The given example is self-contained and reproduces the crash. It isn't necessary to add a main function, just paste the example into an example.dart file and try to run it with dart example.dart

[Pranav2907]

okay , thank you I will try that.

[johnniwinther]

@modulovalue, I'm working on a fix. Your repo is sufficient. Thanks.

[Pranav2907]

hey can you help me understand what was the issu actually and how it was solved ? It seems hard to read from above given commit.

[johnniwinther]

The problem was caused by how the compiler builds the AST internally:

We compile the AST in two phases. The first (outline phase) builds the library scopes with for instance field and method declarations with their declared types. The second (body phase) builds the initializers of field declarations and bodies of method declarations.

Because of modular compilation (used for instance for the web development compiler) some parts of the body phase work must be performed during the outline phase. Amongst these is building the initializer of constant fields, like invalidExample in the repo. Unfortunately, this work cannot easily be skipped in the body phase, meaning that we for instance build the AST for constant field initializers twice, both in the outline phase and in the body phase.

In the latter, the duplicate ASTs are generally discarded, but in this case, the constructor invocation for HInvalidChild(...) inside invalidExample was not fully discarded, but left in an incomplete state, which triggered the crash. The fix was to detect the inconsistent state (in the code by checking the .hasBeenInferred property) and discard the invocation node at this point.

[Pranav2907]

Thank you so much for your info.

[Craftplacer]

I see the same issue occur on Dart 3.2.0 (build 3.2.0-65.0.dev) (with Flutter) while debugging when trying to read a value by hovering over a property in IDEA.

Unhandled exception:
Invalid argument(s): Iterables do not have same length.
#0      MapBase._fillMapWithIterables (dart:collection/maps.dart:178:7)
#1      new LinkedHashMap.fromIterables (dart:collection/linked_hash_map.dart:246:13)
#2      Substitution.fromPairs (package:kernel/type_algebra.dart:263:13)
#3      InferenceVisitorBase.getGetterTypeForMemberTarget (package:front_end/src/fasta/type_inference/inference_visitor_base.dart:1404:35)
#4      InstanceAccessTarget.getGetterType (package:front_end/src/fasta/type_inference/object_access_target.dart:491:30)
#5      InferenceVisitorImpl._computePropertyGet (package:front_end/src/fasta/type_inference/inference_visitor.dart:6673:36)
#6      InferenceVisitorImpl.visitPropertyGet (package:front_end/src/fasta/type_inference/inference_visitor.dart:7676:61)
#7      PropertyGet.acceptInference (package:front_end/src/fasta/kernel/internal_ast.dart:2984:20)
#8      InferenceVisitorImpl._inferExpression (package:front_end/src/fasta/type_inference/inference_visitor.dart:267:27)
#9      InferenceVisitorImpl.inferExpression (package:front_end/src/fasta/type_inference/inference_visitor.dart:301:40)
#10     InferenceVisitorImpl.visitReturnStatement (package:front_end/src/fasta/type_inference/inference_visitor.dart:7889:11)
#11     ReturnStatement.accept (package:kernel/ast.dart:9950:43)
#12     InferenceVisitorImpl.inferStatement (package:front_end/src/fasta/type_inference/inference_visitor.dart:252:26)
#13     TypeInferrerImpl.inferFunctionBody (package:front_end/src/fasta/type_inference/type_inferrer.dart:198:17)
#14     BodyBuilder.parseSingleExpression (package:front_end/src/fasta/kernel/body_builder.dart:1790:62)
#15     SourceLoader.buildExpression (package:front_end/src/fasta/source/source_loader.dart:1321:21)
<asynchronous suspension>
#16     IncrementalCompiler.compileExpression.<anonymous closure> (package:front_end/src/fasta/incremental_compiler.dart:2033:39)
<asynchronous suspension>
#17     CompilerContext.clear (package:front_end/src/fasta/compiler_context.dart:139:3)
<asynchronous suspension>
#18     IncrementalCompiler.compileExpression (package:front_end/src/fasta/incremental_compiler.dart:1853:12)
<asynchronous suspension>
#19     FrontendCompiler.compileExpression (package:frontend_server/frontend_server.dart:981:28)
<asynchronous suspension>
#20     listenAndCompile.<anonymous closure> (package:frontend_server/frontend_server.dart:1452:11)
<asynchronous suspension>
the Dart compiler exited unexpectedly.
the Dart compiler exited unexpectedly.

[burekas7]

Is there any solution for that? (Flutter 3.13)
I also have this problem. It happens after a specific api call, immediately after the response is arrived.

EDITED:
Updating from:
sdk: '>=3.0.3 <4.0.0'
To:
sdk: '>=3.1.0 <4.0.0'
Fixed the error.

[Lonyless]

Is there any solution for that? (Flutter 3.13) I also have this problem. It happens after a specific api call, immediately after the response is arrived.

EDITED: Updating from: sdk: '>=3.0.3 <4.0.0' To: sdk: '>=3.1.0 <4.0.0' Fixed the error.

same here, after trying to evaluate a dio response. Increasing sdk boundaries dont seem to have any effect
Dart SDK version: 3.1.0 (stable) (Tue Aug 15 21:33:36 2023 +0000) on "windows_x64"

Unhandled exception:
Invalid argument(s): Iterables do not have same length.
#0      MapBase._fillMapWithIterables (dart:collection/maps.dart:178:7)
#1      new LinkedHashMap.fromIterables (dart:collection/linked_hash_map.dart:246:13)
#2      Substitution.fromPairs (package:kernel/type_algebra.dart:263:13)
#3      InferenceVisitorBase.getGetterTypeForMemberTarget (package:front_end/src/fasta/type_inference/inference_visitor_base.dart:1465:35)
#4      InstanceAccessTarget.getGetterType (package:front_end/src/fasta/type_inference/object_access_target.dart:489:30)
#5      InferenceVisitorImpl._computePropertyGet (package:front_end/src/fasta/type_inference/inference_visitor.dart:6663:36)
#6      InferenceVisitorImpl.visitPropertyGet (package:front_end/src/fasta/type_inference/inference_visitor.dart:7672:61)
#7      PropertyGet.acceptInference (package:front_end/src/fasta/kernel/internal_ast.dart:2984:20)
#8      InferenceVisitorImpl._inferExpression (package:front_end/src/fasta/type_inference/inference_visitor.dart:257:27)
#9      InferenceVisitorImpl.inferExpression (package:front_end/src/fasta/type_inference/inference_visitor.dart:291:40)
#10     InferenceVisitorImpl.visitReturnStatement (package:front_end/src/fasta/type_inference/inference_visitor.dart:7894:11)
#11     ReturnStatement.accept (package:kernel/ast.dart:10127:43)
#12     InferenceVisitorImpl.inferStatement (package:front_end/src/fasta/type_inference/inference_visitor.dart:242:26)
#13     TypeInferrerImpl.inferFunctionBody (package:front_end/src/fasta/type_inference/type_inferrer.dart:198:17)
#14     BodyBuilder.parseSingleExpression (package:front_end/src/fasta/kernel/body_builder.dart:1780:62)
#15     SourceLoader.buildExpression (package:front_end/src/fasta/source/source_loader.dart:1320:21)

doctor:

[√] Flutter (Channel stable, 3.13.1, on Microsoft Windows [versÆo 10.0.19045.3324], locale pt-BR)
[√] Windows Version (Installed version of Windows is version 10 or higher)
[√] Android toolchain - develop for Android devices (Android SDK version 34.0.0)
[√] Chrome - develop for the web
[√] Visual Studio - develop Windows apps (Visual Studio Community 2022 17.6.3)
[√] Android Studio (version 2022.2)
[√] VS Code, 64-bit edition (version 1.81.1)
[√] Connected device (4 available)
[√] Network resources

[modulovalue]

@burekas7 @Craftplacer @Lonyless I think you should consider opening a new issue.