Type promotion failed in named records about sdk

[lrhn]

This looks like it's working as currently intended. (Edit, narrator voice: It did not.)

Code inside a closure cannot promote a variable if there are assignments to it outside of the closure (maybe only later).
That is the case here.

The fact that the only assignment is to a non-null isn't taken into account. The value may change at a time that is not known to not happen between the a! and the a.isEven, and that's enough to disable promotion.

[yiiim]

So is this an error that belongs to the IDE plug-in? I did not get any error prompts in the vscode Dart plug-in v3.86.0.

[yiiim]

If it's an unnamed record type, this code can work properly.

void main() {
  int? a;
  Future(
    () {
      (String, String) test = (
        "${a!.isEven}",
        "${a.isEven}",
      );
      print(test);
    },
  );
  a = 0;
}

[lrhn]

Good point. It seems like DDC is promoting the variable in one case, so it should in the other too.

[johnniwinther]

cc @stereotype441

[tp]

In our codebase we had a similar case (and given that it's a closure parameter (which could even be final)) I felt this is a stronger example of the issue:

void main() {
  f((x) => [x!.a, x.b]); // OK
  f((x) => (x!.a, x.b)); // OK
  f((x) => (a: x!.a, b: x.b)); // ERR
}

void f(void Function(X?) c) {
  c(X());
}

class X {
  final a = 1;
  final b = 2;
}

passes dart analyze (which wants one to not add a ! to x.b), but fails compilation with

compileDDC
main.dart:3:33: Error: Property 'b' cannot be accessed on 'X?' because it is potentially null.
 - 'X' is from 'package:dartpad_sample/main.dart' ('/tmp/dartpadTJDUDK/lib/main.dart').
Try accessing using ?. instead.
  f((final x) => (a: x!.a, b: x.b));
                                ^

[lrhn]

Seems to be related to information flow between expressions in a record expression that contains named fields.
(As in: it's not there. The promotions of a prior field are not used as starting state for the next field expression, but only if the record expression itself contains named fields.)

void main() {
  ({int x, int y})? a = (x: 42, y: 37) as dynamic;
  var yes = DateTime.now().millisecondsSinceEpoch > 0;
  // Named fields, requires promotion to flow between field expressions.
  // All fail.
  if (yes) {
    print((a!.x, n2: a.y)); // ERR
  }
  if (yes) {
    print((n1: a!.x, a.y)); // ERR
  }
  if (yes) {
    print((n1: a!.x, n2: a.y)); // ERR
  }
  if (yes) {
    print((a!.x, a.y, n3: 0)); // ERR
  }
  // Promotion flow out of record. Works.
  if (yes) {
    print((a!.x, n2: 0));
    print(a.y);
  }
  if (yes) {
    print((n1: a!.x, n2: 0));
    print(a.y);
  }
  // Promotion flow inside field expression. Works.
  if (yes) {
    print((a!.x + a.y, n2: 0));
  }
  if (yes) {
    print((n1: a!.x + a.y, n2: 0));
  }
  // No mamed fields in same record as promotion. Works.
  if (yes) {
    print((a!.x, (n2: a.y)));
    print(a.y);
  }
  if (yes) {
    print((a!.x, a.y));
  }
  // Not records, all work.
  if (yes) {
    print([a!.x, a.y]);
  }
  if (yes) {
    foo(a!.x, a.y);
  }
  if (yes) {
    bar(x: a!.x, y: a.y);
  }
}

void foo([int x = 0, int y = 0]) {
  print("$x,$y");
}

void bar({int x = 0, int y = 0}) {
  print("$x,$y");
}