Dart analyzer not analyzing correct after If(variable case class)

[abikko]

• Dart version and tooling diagnostic info (dart info)
  

• Whether you are using Windows, macOS, or Linux - macOS

• Whether you are using Chrome, Safari, Firefox, Edge - doesn't matter

Hello Dart team!

I have a problem, I searched the probably existing issues, but didn't find anything relating to this issue.

So, consider example, we have a sealed class with child classes like in screenshot below:

And if we will write code like this:

Dart analyzer will warn us that testor is A, not B after checking pattern.

[dart-github-bot]

Summary: The Dart analyzer incorrectly identifies the type of a variable after a pattern matching if statement, reporting it as the original type instead of the type matched in the if condition. This leads to incorrect warnings and potential runtime errors.

[mraleph]

It should be case B() not case B then it will work as you want it.