Box is done, I'll rebase https://github.com/rust-lang/rust/pull/52420 . The interesting thing is that this also solves the issue of fallible allocation by giving
Alloc and associated error type.
Oh, I completely forgot that associating an error type to
Alloc is still a thing.
I disagree that an associated error type “solves” infallible allocation. Returning
Result<T, !> or
Result<T, Infallible> is not the same as returning
It’s a thing to the extent that we want to make it a thing. A new issue in the repo would be a good place to discuss use cases.