Incorrect unreachable case warning with nullable matched value type and list pattern about sdk

[stereotype441]

Good catch, @munificent! And yes, @johnniwinther, your analysis is correct. I dug through the code, and the problem occurs whenever the following are all true of a list pattern:

• The matched value type is List<U>? for some U.
• The element type of the list pattern is V, where U <: V (meaning the only way that the type check implied by the list pattern can fail is if the matched value is null).
• The list pattern doesn't match all possible list lengths.

When this happens, flow analysis incorrectly uses the ifFalse control flow branch of the type test as the "unmatched" control flow path for the pattern. In other words, it fails to account for the possibility that the list pattern might fail to match due to the list having an incorrect length. As a result, it promotes the matched value type to Never? (which is equivalent to Null) in the "unmatched" control flow path.

I'll work on a fix ASAP.

[stereotype441]

Fix is out for review: https://dart-review.googlesource.com/c/sdk/+/364942

[johnniwinther]

@stereotype441 I think the problem is in the flow analysis. It seems like maybeList is promoted to Never? via the "unmatched" path through [var element].