(Set Literals) Analyzer Issue

[JekCharlsonYu]

***** Request:
As per implementation Plan:
Task3 : Task1 (Analyzer implementation)
The analyzer implements static checking for set literals (errors and wrarnings, constant evaluation).

---

Tracked in this Issue
Implementation Plan, see ETA in this issue too.
Full proposal

Tasks:

• AST representation
• parser integration (AstBuider)
• production of errors and warnings
• constant evaluation
• type checking and AST rewrite of {} (blocked by StrongTypeSystemImpl.isAssignableTo returns wrong result in one case #35300) (turns out analyzer was correct and the tests were not)
• Address Incorrect constant evaluation of lists declared in another file  #35230 for set literals
• Enable the shared tests for set literals
• Address failing co19 tests Some new co19_2 tests of experimental features failing on the analyzer #35615
• Analyzer tests need to be updated once set literals are enabled by default Analyzer tests need to be updated once set literals are enabled by default #35870

[bwilkerson]

There is one bug left, which I believe is more general than the set literals feature, in which some type inference cases are not being handled correctly.

[stereotype441]

Note: the one remaining language_2 test failure should be fixed by https://dart-review.googlesource.com/c/sdk/+/88601

[stereotype441]

Analyzer work is done.

[stereotype441]

Reopening as a reminder to fix failing tests once the feature lands

[stereotype441]

Failing tests have been fixed.