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.

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

InferrerVisitor doesn't assume that loop conditionals are always executed at least once #14954

Open
polux opened this issue Nov 8, 2013 · 6 comments
Open

InferrerVisitor doesn't assume that loop conditionals are always executed at least once #14954

polux opened this issue Nov 8, 2013 · 6 comments
Labels
area-web Use area-web for Dart web related issues, including the DDC and dart2js compilers and JS interop. P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug web-dart2js

Comments

@polux
Copy link
Contributor

polux commented Nov 8, 2013

This leads the inference to infer that in:

var foo = null;
while (foo = 1) {}

foo has type nullable int although it could be inferred to be of type non-null int only.
@DartBot
Copy link

DartBot commented Nov 8, 2013

This comment was originally written by ngeoffray@google.com

Added this to the Later milestone.
Removed Type-Defect, Priority-Unassigned labels.
Added Type-Enhancement, Priority-Medium, Triaged labels.

@DartBot
Copy link

DartBot commented Dec 19, 2013

This comment was originally written by ngeoffray@google.com

Set owner to @floitschG.

@floitschG
Copy link
Contributor

Set owner to @herhut-ggl.

@kasperl
Copy link

kasperl commented Jul 10, 2014

Removed this from the Later milestone.
Added Oldschool-Milestone-Later label.

@ghost
Copy link

ghost commented Jul 30, 2014

Added Started label.

@kasperl
Copy link

kasperl commented Aug 4, 2014

Removed Oldschool-Milestone-Later label.

@polux polux assigned ghost Aug 4, 2014
@kevmoo kevmoo added P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug and removed Priority-Medium labels Mar 1, 2016
@vsmenon vsmenon added the area-web Use area-web for Dart web related issues, including the DDC and dart2js compilers and JS interop. label Jul 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area-web Use area-web for Dart web related issues, including the DDC and dart2js compilers and JS interop. P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug web-dart2js
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@kevmoo @polux @vsmenon @kasperl @floitschG @DartBot