Paul Berry

> We are no longer reporting dead code in the first case, though I believe that the updater can't be reached. Is that expected? Flow analysis is aware that the...

> This would be really nice to land. Can we run a test to double check impact on flutter and google tests? @vsmenon and I spoke about this offline. It's...

> > This would be really nice to land. Can we run a test to double check impact on flutter and google tests? > > @vsmenon and I spoke about...

CC @munificent @lrhn @leafpetersen @kallentu @mit-mit @jakemac53 @natebosch @eernstg FWIW, my preference is to call all of the above examples compile time errors, just to keep the interactions with flow...

There's actually just one difference: if a variable is implicitly typed, and its initializer expression is a promoted type variable (e.g. `T&int`), then the inferred type of the variable is...

You know, the more I think about this, the more I want to be permissive here (along the lines of what @lrhn and @munificent are saying in the comments). The...

@eernstg I have a concern with your proposal, which is that I believe sometimes people are going to bind a variable just for the purpose of using it in a...

Oh hi. At @leafpetersen's encouragement I just read carefully through this thread to catch myself up on the discussion. I don't have a lot to add beyond what's already been...

> Consider the following example: > > ```dart > void main() { > (int?, bool) pair = (42, true); > pair.$0.isEven; // OK? > } > ``` > > The...

> > There is no way to test that a key _isn't_ there, that would need completely new syntax, like `{!'k'}` (not great!). > > Yeah, I think we can...