scottmcm

For iterators adapters, there's no way with `impl Iterator` to do the "our adapter is ExactSizeIterator when the original iterator was ExactSizeIterator" kind of things. That's only possible with returning...

> I think that would be _really_ sad. I think the right direction is making the type system more powerful so that basically any empty `enum` can be treated as...

Oh, the arm generator is completely different from when I was last here. I have no idea how to add the `::from_array` calls...

Oh, no wonder I couldn't find it in the `Expression` stuff 🤦 Thanks for putting that together! That said, it looks like the problem wasn't in here after all --...

Actually, wait, I can do this slow-stepped: add `from_array`, start using it in places, but not insist that *everything* move over all at once. That's probably worth doing, at least.

- It's not clear that there's appetite to do more here, see conversations like - various future possibilities like were mentioned in the RFC, but there wasn't appetite to bring...

I don't expect this to change, because `unsafe` is a *lexical* thing (see the decision to do unsafeck on THIR, not MIR), and thus having the clearly-visible "between the braces...

> This is useful for any situation in which recompiling an enum to handle new discriminant values is infeasible, and using a newtype integer is unergonomic due to the type's...