Flow analysis. Promotion in try-catch statement issue

[sgrekhov]

@stereotype441, please help me to figure out if the below is an issue or an expected behavior? Shouldn't s be promoted to T in this case?

class S {}

class T extends S {
  int answer() => 42;
}

main() {
  S s = S();
  try {
    if (s is T) {} // make `T` a type of interest
  } on Exception catch (_) {
    s = T();
    s.answer(); // Error. The method 'answer' isn't defined for the type 'S'
  }
}

Dart SDK version: 3.8.0-278.0.dev (dev) (Mon Apr 7 17:08:37 2025 -0700) on "windows_x64"

[stereotype441]

Yeah, this seems like an oversight. And looking at the implementation it's probably not too difficult to fix. I've added it to my list of improvements to try to fold into the sound-flow-analysis feature flag.