why allocators are not discussed here

[Dicebot]

Some type system help is required to guarantee that references to 
such scope-allocated data won't escape.