pub type BodyAssignments = FxHashMap<Local, Vec<Location>>;
struct BodyAssignments { /* private fields */ }