[maxdexh]

With allocators about to be stabilized, we rely on this with Global already, since Allocator guarantees that there are no unwinds.

Unless we want Global.allocate and alloc::alloc to behave differently wrt unwinds (and add a bunch of unwind guards to the implementation of Global), I see no reason not to pass this guarantee down to users.

r? nia-e

[rustbot]

nia-e is currently at their maximum review capacity.
They may take a while to respond.

[nia-e]

...does this need FCP? prior docs already state that this is just a stand-in for Global.allocate(), etc. - in fact we should deprecate these methods as per those docs and document that they pass on the behaviour & guarantees of the methods on Global

[maxdexh]

It's a new guarantee. I think the decision to not go through an FCP would be reasonable though (I'm fine with either way)