Files

T

Paul Berry f157b5ff80 Flow analysis: promote type X&T on initialization.

When flow analysis encounters a variable declaration of the form `var
x = expr;`, if the type of `expr` is `X&T`, then the variable is given
the inferred type `X`, but it is immediately promoted to `X&T`.

Change-Id: I2a5ffca3860ab009f0942e6efc641c1604ab6323
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/163840
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2020-09-23 16:58:09 +00:00

lib/src

Flow analysis: add API to support promotion on initialization.

2020-09-23 16:58:09 +00:00

test

Flow analysis: promote type X&T on initialization.

2020-09-23 16:58:09 +00:00

tool

[CFE] Include _fe_analyzer_shared in tests

2020-05-11 13:13:21 +00:00

analysis_options_no_lints.yaml

Exclude _fe_analyzer_shared/test/constants/data

2020-04-13 17:47:32 +00:00

analysis_options.yaml

…

LICENSE

…

PRESUBMIT.py

[CFE] Spell check on kernel src; presubmit on kernel & _fe_analyzer_shared

2019-12-02 13:00:47 +00:00

pubspec.yaml

Prepare to publish analyzer 0.40.1 and _fe_analyzer_shared 9.0.0.

2020-09-01 22:04:12 +00:00

README.md

…

README.md

FE/analyzer shared code

This package contains logic that is shared between the front_end and analyzer packages. It is intended solely to facilitate development of the Dart SDK, and is not intended for use by end users. In particular, this package has no public API, so no guarantee is made of compatibility between one version of the package and the next.

End users should consider using the analyzer package to analyze Dart source code.