make_boxed: remove allocator_api #1720
Description
The allocator_api API feature in Rust is basically dead at the moment. Further, it doesn't look as someone is going to restart the work soon, not speaking of merging it soon.
It complicates the code and the usage. We should remove that and just default to the normal allocator in all cases.