[Null-aware elements] Analyzer implementation

[chloestefantsova]

This meta issue tracks all the analyzer implementation work items. Referenced from: https://github.com/dart-lang/sdk/blob/main/pkg/analyzer/doc/process/new_language_feature.md

Work Items

• [X] AST enhancements (AstBuilder)
• [ ] Element model
• [x] ~~Type system updates~~ (should not be affected)
• [ ] Summary support
• [x] ~~Resolution~~ (should not be affected)
  • [x] ~~ResolutionVisitor~~ (should not be affected)
  • [x] ~~ScopeResolverVisitor~~ (should not be affected)
  • [x] ~~ResolverVisitor~~ (should not be affected)
• [x] ~~Index and search~~ (should not be affected)
• [ ] Warnings
  • [ ] ErrorVerifier
  • [ ] Dead code
    • [ ] Verify the correct dead code detection due to the changes in flow analysis.
• [ ] ExitDetector
• [ ] NodeLintRegistry

[pq]

Hi! As part of triage, we look for updates on all P1 issues. @chloestefantsova, is there anything to update?

[chloestefantsova]

Hi! As part of triage, we look for updates on all P1 issues. @chloestefantsova, is there anything to update?

@pq Yes, at this point the flow analysis, the type inference, and constant verification are implemented. Currently I'm working on reporting warnings. With warnings done, the existing failures on the co19 tests for the Analyzer will be fully addressed. Then I will switch to supporting the constants in the summaries, lints, and analysis server features.

[pq]

Awesome. Thanks for the update. Cool to see this feature cruising along!