Skip to content

[Analyzer] no warning when a type variable violates the type bound #8424

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
DartBot opened this issue Feb 8, 2013 · 4 comments
Closed

[Analyzer] no warning when a type variable violates the type bound #8424

DartBot opened this issue Feb 8, 2013 · 4 comments
Assignees
@jwren
Labels
legacy-area-analyzer Use area-devexp instead.
Milestone
M5

Comments

@DartBot
Copy link

DartBot commented Feb 8, 2013

This issue was originally filed by [email protected]

spec, "Generics":
It is a static type warning if a type parameter is a supertype of its upper bound.

see co19 test Language/09_Generics/09_Generics_A03_t01:

this is a duplicate of issue #3273 since we can't reopen it
@madsager
Copy link
Contributor

madsager commented Feb 8, 2013

Added Area-Analyzer, Triaged labels.

@bwilkerson
Copy link
Member

Added this to the M4 milestone.

@bwilkerson
Copy link
Member

Removed this from the M4 milestone.
Added this to the M5 milestone.

@jwren
Copy link
Member

jwren commented Jun 5, 2013

Fixed, confirmed in svn version 23627

Set owner to @jwren.
Added Fixed label.

@DartBot DartBot added Type-Defect legacy-area-analyzer Use area-devexp instead. labels Jun 5, 2013
@DartBot DartBot added this to the M5 milestone Jun 5, 2013
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jwren jwren

Labels
legacy-area-analyzer Use area-devexp instead.
Projects
None yet
Milestone
M5
Development

No branches or pull requests
4 participants
@jwren @madsager @bwilkerson @DartBot