Joe Eli McIlvain

@Praetonus in this week's call, I thought you mentioned another possible solution - expanding the rules to allow examples like this (recovering `(ref, val)` to `(iso, val)`, while still disallowing...

> I think we can recover tuples when all elements but one are sendable Yeah, that sounds right to me. That should cover anything that is possible to do by...

Something to keep in mind while thinking about this: A while ago I introduced the `TEST_ERRORS_N` series of macros (where `N` is a number of expected), so that we could...

To summarize a bit in lay terms, adopting CNF or DNF would imply making a rule that the normalized form of a type follows certain rules about what can be...

Actually, I happen to be working on a somewhat major refactor of parts of the codebase that would be affected by this effort, so it may be a good idea...

That's okay if you don't want to continue on this particular sub-task - we can try to find someone to pick up this work once your two remaining prior sub-tasks...

It's tedious to maintain the type signature in two places, and the error messages are a lot less helpful than they would be if this were a first-class language feature...

This comment from @apparentlymart seems to be in line with my comment above about the behavior of TypeScript for object literals. > If it were up to me (which is...

I have Android 15 on a OnePlus 12 and am rooted with Magisk, Zygisk, and LSPosed (following the official Fermata Android 14 rooted setup instructions [from this thread](https://github.com/AndreyPavlenko/Fermata/discussions/432#discussion-6341889). When trying...

Okay, actually I got it working! I noticed that the latest LSPosed release that I installed was several years stale. Had to switch to a fork that has been updated...