Analyzer fails to report "expression has type void and cannot be used" for record argument

[stereotype441]

The following code is accepted by the analyzer but rejected by the CFE:

void f() {}

main() {
  var x = (1, f());
  print(x);
}

The CFE reports:

../../tmp/proj/test.dart:4:15: Error: This expression has type 'void' and can't be used.
  var x = (1, f());
              ^

I believe the CFE behavior is correct.

[eernstg]

That's tricky! ;-) If we consider the initializing expression to have type (int, void) and consider (1, f()) to be an expression where 1 is used to initialize the int field of the record and f() is used to initialize the void field (similarly a constructor invocation) then it shouldn't be worse than this:

void f() {}
void g(int i, void v) {}
var _ = g(1, f()); // OK.

[srawlins]

Duplicate of #52759