Users should be able to create type safe pointers from objects with static storage duration without the cost of a control block within RAM. The state of a strong_ptr that points to a static object should be that its m_ctrl field is set to nullptr. Having a control block set to nullptr would represent infinite lifetime for the object/memory.
There is potential to use this to protect the memory resources that each strong_ptr's ref_info holds, allowing the lifetime of the allocator itself to be extended until the last object it allocated is destroyed.