Skip to content

Commit e4fbad8

Browse files
stereotype441commit-bot@chromium.org
authored andcommitted
Flow analysis: fix "why not promoted" info for nullable_expression_call_error
Previously, I only did the proper flow analysis integration in the case where `useNewMethodInvocationEncoding` was true, so these cases didn't work when it was false. Bug: #44898 Change-Id: I6e126f4b8dc9a159087669c3d6ffa332373f8ce4 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/193590 Commit-Queue: Paul Berry <[email protected]> Reviewed-by: Johnni Winther <[email protected]>
1 parent 10d531b commit e4fbad8

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3445,13 +3445,13 @@ class TypeInferrerImpl implements TypeInferrer {
34453445
kind, originalReceiver, originalName,
34463446
resultType: calleeType, interfaceTarget: originalTarget)
34473447
..fileOffset = fileOffset;
3448-
flowAnalysis.propertyGet(
3449-
originalPropertyGet, originalReceiver, originalName.text, calleeType);
34503448
} else {
34513449
originalPropertyGet =
34523450
new PropertyGet(originalReceiver, originalName, originalTarget)
34533451
..fileOffset = fileOffset;
34543452
}
3453+
flowAnalysis.propertyGet(
3454+
originalPropertyGet, originalReceiver, originalName.text, calleeType);
34553455
Expression propertyGet = originalPropertyGet;
34563456
if (receiver is! ThisExpression &&
34573457
calleeType is! DynamicType &&

0 commit comments

Comments
 (0)