Paul Berry
Paul Berry
@simolus3 would you mind reviewing this? I'm not sure why there is a check failure; I don't think it's related to this PR.
> I have applied your changes in [e9c1db1](https://github.com/simolus3/drift/commit/e9c1db1233b376b2c9ed30a4e303c9eb33805635). Didn't get all tests to pass today, but I think `drift_dev` is in a state where it should mostly work now. Great,...
I'm going to work on this.
FWIW, this situation is troublesome for the migraiton tool too. See https://github.com/dart-lang/sdk/issues/42382
Note that a similar problem applies to `singleWhere` (@yjbanov ran into this today)
FWIW I'm also running into this when migrating protobufs.
_Edit: this is wrong in some cases involving generics. See https://github.com/dart-lang/language/issues/4476#issuecomment-3113899431._ Here's my proof for why it's impossible for an expression to have a static type that is a synthetic...
> One thing to worry about is mixin application class canonicalization. > > I believe some backends conflate mixin application classes from different locations, if they are the same mixin...
> [@stereotype441](https://github.com/stereotype441) Would it make _any_ sense to make the "conservative demotion analysis" of a loop body smarter, like a syntax-only approximation of actual analysis to find potential demotions (assignments...