I've seen code written where functions return a scoped_allocation that was defined inside the function itself. This is obviously dangerous and can never work.
We should investigate whether there's some way of disallowing this without removing the ability to do implicit conversion to allocation or pointer.