Rust has a mode where no allocator is available.
No allocator available isn't the same as being able to enforce no allocations.
No allocator available isn't the same as being able to enforce no allocations.