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

Support B <: A<bottom> #25604

Closed
jmesserly opened this issue Jan 27, 2016 · 1 comment
Closed

Support B <: A<bottom> #25604

jmesserly opened this issue Jan 27, 2016 · 1 comment
Labels
area-language Dart language related items (some items might be better tracked at github.com/dart-lang/language). closed-not-planned Closed as we don't intend to take action on the reported issue type-enhancement A request for a change that isn't a bug

Comments

@jmesserly
Copy link

We've got a few examples of interfaces where it would be nice to tag them as contravariant.

Unfortunately, we cannot do this and remain compatible with checked mode, except specifically for the dynamic case (using the bottom interpretation for Dart spec dynamic).

See the original bug for more background: dart-archive/dev_compiler#324.

More info on how this feature looks in C#.
@jmesserly jmesserly added type-enhancement area-analyzer Use area-analyzer for Dart analyzer issues, including the analysis server and code completion. labels Jan 27, 2016
@jmesserly jmesserly mentioned this issue Jan 27, 2016
Closed
@jmesserly jmesserly added P3 A lower priority bug or feature request and removed Priority-Medium labels Feb 10, 2016
@munificent munificent mentioned this issue Feb 18, 2016
Closed
35 tasks
@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed type-enhancement labels Mar 1, 2016
@jmesserly jmesserly added area-language Dart language related items (some items might be better tracked at github.com/dart-lang/language). and removed P3 A lower priority bug or feature request analyzer-strong-mode area-analyzer Use area-analyzer for Dart analyzer issues, including the analysis server and code completion. labels Jun 27, 2018
@jmesserly
Copy link
Author

this could be a language issue, but I think we can close it in favor of other ideas to address co/contravariance in the future.

@jmesserly jmesserly added the closed-not-planned Closed as we don't intend to take action on the reported issue label Jun 27, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area-language Dart language related items (some items might be better tracked at github.com/dart-lang/language). closed-not-planned Closed as we don't intend to take action on the reported issue type-enhancement A request for a change that isn't a bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kevmoo @jmesserly