seems like this info at your fingertips would make it significantly easier to reason about rust code