Skip to content

[Extension type] Implement new nullaility rules in analyzer #54079

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
Tracked by #49732
sgrekhov opened this issue Nov 17, 2023 · 1 comment
Closed
Tracked by #49732

[Extension type] Implement new nullaility rules in analyzer #54079

sgrekhov opened this issue Nov 17, 2023 · 1 comment
Assignees
@scheglov
Labels
feature-extension-types Implementation of the extension type feature legacy-area-analyzer Use area-devexp instead. P1 A high priority bug; for example, a single project is unusable or has many test failures type-enhancement A request for a change that isn't a bug

Comments

@sgrekhov
Copy link
Contributor

Changes according to the dart-lang/language#3434 has been implemented in CFE but not implemented in the analyzer yet. This causes failures of

co19/LanguageFeatures/Extension-types/upper_bound_A01_t05
co19/LanguageFeatures/Extension-types/upper_bound_A01_t06
@sgrekhov sgrekhov added legacy-area-analyzer Use area-devexp instead. feature-extension-types Implementation of the extension type feature labels Nov 17, 2023
@sgrekhov sgrekhov mentioned this issue Nov 17, 2023
Closed
@srawlins srawlins added P1 A high priority bug; for example, a single project is unusable or has many test failures type-enhancement A request for a change that isn't a bug labels Nov 20, 2023
@srawlins srawlins mentioned this issue Nov 20, 2023
Closed
19 tasks
@scheglov scheglov self-assigned this Nov 20, 2023
@scheglov
Copy link
Contributor

This was implemented in e6b02b5, these tests don't fail anymore.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@scheglov scheglov

Labels
feature-extension-types Implementation of the extension type feature legacy-area-analyzer Use area-devexp instead. P1 A high priority bug; for example, a single project is unusable or has many test failures type-enhancement A request for a change that isn't a bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@srawlins @scheglov @sgrekhov