Wrong type inference with record on expression evaluation

[FMorschel]

Repro:

void main() {
  foo();
}

void foo() {
  bar({
    for (var i = 0; i < 10; i++) (i,),
  });
}

void bar(Set<(int,)> things) {
  baz(things);
}

int baz(Set<(int,)> things) => things.fold(0, (a, b) => a + b.$1);

Add a breakpoint inside bar.
Now add baz(things) to watch or run this on the debug console and see:

evaluateInFrame: (113) Expression compilation error
org-dartlang-debug:synthetic_debug_expression:1:5: Error: The argument type '_Set<dynamic>' can't be assigned to the parameter type 'Set<(int)>'.
 - '_Set' is from 'dart:_compact_hash'.
 - 'Set' is from 'dart:core'.
baz(things)
    ^

If you change the expression to baz(things.cast()) it works.

I did some experimenting and if you remove the Record from this and use only int the expression is evaluated correctly.

Could this be related to the problems we talked about in this issue that surround Records not having an element?

---

CC: @DanTup, @bwilkerson

[dart-github-bot]

Summary: The issue reports incorrect type inference for a Set of Records when evaluating an expression in the debugger. The expression fails to evaluate due to a type mismatch, but works when explicitly casting the Set to the correct type. This behavior suggests a potential issue with type inference for Records in the debugger.

[FMorschel]

Also, could this be related to #56555 in any way?

[a-siva]

//cc @jensjoha @johnniwinther

[bwilkerson]

Could this be related to the problems we talked about in this issue that surround Records not having an element?

No. The referenced issue is strictly limited to the analyzer. The compilation error you're seeing is from the VM.