EverInitializedPlaces tracks all places that might have ever been
initialized upon reaching a particular point in the control flow
for a function, without an intervening StorageDead.
A dataflow analysis that tracks whether a pointer or reference could possibly exist that points
to a given local. This analysis ignores fake borrows, so it should not be used by
borrowck.
MaybeInitializedPlaces tracks all places that might be
initialized upon reaching a particular point in the control flow
for a function.
Dataflow analysis that determines whether each local requires storage at a
given location; i.e. whether its storage can go away without being observed.
Like MaybeLiveLocals, but does not mark locals as live if they are used in a dead assignment.
MaybeUninitializedPlaces tracks all places that might be
uninitialized upon reaching a particular point in the control flow
for a function.