final update for project goals 2024h2

[davidtwco]

cc @nikomatsakis

Rendered

[lqd]

I've expanded the description a bit since the month's progress was quite significant. And we might as well link both our names, like for some of the other updates :3

What do you think?

Suggested change

	* Amanda has made progress on removing placeholders, focusing on lazy constraints and early error reporting, as well as investigating issues with rewriting type tests; a few tests are still failing, and it seems error reporting and diagnostics will be hard to keep exactly as today.
	* The prototype is working well enough that it's worthwhile to land, with most of the progress done on the prototype now available; there is still a lot of work left to do, but it's a good milestone.
	* [Amanda](https://github.com/amandasystems) has made progress on removing placeholders, focusing on lazy constraints and early error reporting, as well as investigating issues with rewriting type tests; a few tests are still failing, and it seems error reporting and diagnostics will be hard to keep exactly as today.
	* [@lqd](https://github.com/lqd) has opened PRs to land the prototype of the location-sensitive analysis. It's working well enough that it's worthwhile to land; there is still a lot of work left to do, but it's a major milestone, which we hoped to achieve with this project goal.

[CleanCut]

A wording suggestion. Nice writeup!

[CleanCut]

Suggested change

	* Performance improvements have been made to both the existing resolver and the new implementation, with the lock file verification time reduced from 44.90 minutes to 32.77 minutes for most crates.
	* Performance improvements have been made to both the existing resolver and the new implementation, with the lock file verification time for all crates reduced from 44.90 minutes to 32.77 minutes (excluding some of the hardest cases).