Paul Berry c2eb847697 Add "why not promoted" support for method invocations to CFE. ...

This required moving the logic for computing the context messages from
the inference visitor to the type inferrer.

This includes support for extension method invocations and invocation
of `.call` on a function type.

Bug: https://github.com/dart-lang/sdk/issues/44898
Change-Id: Icda160f69cc815953c43edc92be910c5f49f9401
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/184842
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>

2021-02-13 15:39:17 +00:00

..

assigned_variables/data

Flow analysis: Track additional assigned variables information.

2021-01-21 19:48:22 +00:00

definite_assignment/data

Fix flow analysis handling of late variables with initializers.

2020-09-28 14:40:02 +00:00

definite_unassignment/data

Fix flow analysis of a late initializer that is an assignment expression

2020-10-02 12:09:08 +00:00

nullability/data

Flow analysis: switch on inference based on local boolean variables.

2021-01-08 18:57:02 +00:00

reachability/data

Make flow analysis handling of is/==/??=/?. consistent with mixed mode semantics

2020-09-25 08:35:03 +00:00

type_promotion/data

Don't promote this inside extension methods.

2021-01-13 16:48:08 +00:00

why_not_promoted/data

Add "why not promoted" support for method invocations to CFE.

2021-02-13 15:39:17 +00:00

assigned_variables_test.dart

Add an implementation of legacy type promotion to _fe_analyzer_shared.

2021-01-16 17:07:23 +00:00

flow_analysis_mini_ast.dart

Flow analysis: begin tracking non-promotion reasons.

2021-02-02 16:15:34 +00:00

flow_analysis_test.dart

Improve "why not promoted" info for field/property reference.

2021-02-12 22:43:55 +00:00