Aaron Hill 611a06a375 Add an explicit Span field to OutlivesConstraint ... Previously, we would retrieve the span from the `Body` using the `locations` field. However, we may end up changing the `locations` field when moving a constraint from a promoted to a different body. We now store the original `Span` in a dedication field, so that changes to the `locations` do not affect the quality of our diagnostics.		2022-04-19 23:42:20 -04:00
..
src	Add an explicit Span field to OutlivesConstraint	2022-04-19 23:42:20 -04:00
Cargo.toml	Update itertools	2022-03-04 11:54:28 -06:00