Skip to content

[Analyzer] Improve error message when extension type is not well-bounded #54098

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
Open
Tracked by #49732
sgrekhov opened this issue Nov 20, 2023 · 0 comments
Open
Tracked by #49732

[Analyzer] Improve error message when extension type is not well-bounded #54098

sgrekhov opened this issue Nov 20, 2023 · 0 comments
Labels
area-devexp For issues related to the analysis server, IDE support, linter, `dart fix`, and diagnostic messages. devexp-ux feature-extension-types Implementation of the extension type feature P3 A lower priority bug or feature request type-enhancement A request for a change that isn't a bug

Comments

@sgrekhov
Copy link
Contributor

Based on the dart-lang/co19#2384 (comment) and #54097 (comment), please, improve analyzer error messafe in case of

extension type V<T extends V<T>>(T id) {}

The current message

COMPILE_TIME_ERROR.TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND
'T' can't be a supertype of its upper bound.

is not much helpfull in this case
@sgrekhov sgrekhov added legacy-area-analyzer Use area-devexp instead. feature-extension-types Implementation of the extension type feature labels Nov 20, 2023
@srawlins srawlins added devexp-ux P2 A bug or feature request we're likely to work on labels Nov 20, 2023
@srawlins srawlins mentioned this issue Nov 20, 2023
Closed
19 tasks
@srawlins srawlins added P3 A lower priority bug or feature request and removed P2 A bug or feature request we're likely to work on labels Nov 20, 2023
@srawlins srawlins added the type-enhancement A request for a change that isn't a bug label Mar 28, 2024
@bwilkerson bwilkerson added area-devexp For issues related to the analysis server, IDE support, linter, `dart fix`, and diagnostic messages. and removed legacy-area-analyzer Use area-devexp instead. labels Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area-devexp For issues related to the analysis server, IDE support, linter, `dart fix`, and diagnostic messages. devexp-ux feature-extension-types Implementation of the extension type feature P3 A lower priority bug or feature request 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 @sgrekhov @bwilkerson