Comment by metaltyphoon

I don't think so because the result of calling an allocator is either you got memory or you don’t, while the IO here will be “it depends”