We were just discussing in the chat room how scope = stack allocation and scope = do not escape the reference actually go hand in hand; they are not two separate features, stack allocation is an optimization enabled by the restriction... and the restriction is required by the optimization to maintain memory safety.