DDC missing error on forEach invocation

[vsmenon]

The following results in a runtime error in checked mode (bar is invoked with no args). In DDC, there is no runtime error. bar is incorrectly called with one arg.

void foo() {
  print('foo');
}

void bar(int x) {
  print('bar $x');
}

List list = <dynamic>[ foo, bar ];

void main() {
  list.forEach((void init()) => init());
}

[vsmenon]

@leafpetersen I think this is ultimately a fuzzy arrow problem.

List<dynamic>.forEach takes a bottom->void. The forEach implementation would have to use a dcall in this case, but it's not.

If we eliminate fuzzy, the above is a static error, right?

[leafpetersen]

Yes, this is the fuzzy arrow issue. Duplicate of #29295 .

#29630 is the issue for eliminating fuzzy arrows.