Skip to content
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

CFE doesn't reject generic function types in bounds of type variables #33423

Closed
chloestefantsova opened this issue Jun 12, 2018 · 5 comments
Closed

CFE doesn't reject generic function types in bounds of type variables #33423

chloestefantsova opened this issue Jun 12, 2018 · 5 comments
Assignees
@chloestefantsova
Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. front-end-missing-error P1 A high priority bug; for example, a single project is unusable or has many test failures
Projects
Dart Front End
Milestone
Dart2Stable

Comments

@chloestefantsova
Copy link
Contributor

The following script should result in a compile-time error; however, it crashes the compiler currently.

class Hest<X extends Y Function<Y>(Y)> {}

main() {}
@chloestefantsova chloestefantsova added area-front-end Use area-front-end for front end / CFE / kernel format related issues. front-end-missing-error labels Jun 12, 2018
@chloestefantsova chloestefantsova added this to the Dart2Stable milestone Jun 12, 2018
@chloestefantsova chloestefantsova self-assigned this Jun 12, 2018
@chloestefantsova chloestefantsova added this to Incoming Untriaged in Dart Front End Jun 12, 2018
@chloestefantsova chloestefantsova added the P2 A bug or feature request we're likely to work on label Jun 12, 2018
@chloestefantsova chloestefantsova moved this from Incoming Untriaged to In Progress in Dart Front End Jun 12, 2018
@dgrove
Copy link
Contributor

dgrove commented Jun 15, 2018

With -dev.59, the analyzer produces no errors and no warnings for this. /cc @bwilkerson

@mit-mit
Copy link
Member

mit-mit commented Jul 9, 2018 •
edited

Moving to P1, this is causing a crash and should not be allowed to compile. Dima has a fix pending.

@mit-mit mit-mit added P1 A high priority bug; for example, a single project is unusable or has many test failures and removed P2 A bug or feature request we're likely to work on labels Jul 9, 2018
@dgrove
Copy link
Contributor

dgrove commented Jul 11, 2018

Is there a link to the pending fix, @stefantsov ?

@chloestefantsova
Copy link
Contributor Author

Sorry for the delay @dgrove. I'm working on it right now. I plan to upload it in about an hour.

@chloestefantsova
Copy link
Contributor Author

I've uploaded the pending fix as CL 64544.

@kmillikin kmillikin moved this from In Progress to Done in Dart Front End Aug 1, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chloestefantsova chloestefantsova

Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. front-end-missing-error P1 A high priority bug; for example, a single project is unusable or has many test failures
Projects
Dart Front End
Done
Milestone
Dart2Stable
Development

No branches or pull requests
3 participants
@chloestefantsova @dgrove @mit-mit