Merge pull request #2 from lqd/more

Expand potential polonius goal

src/2024h2/Polonius.md

@@ -12,7 +12,7 @@
 
 ## Motivation
 
-Polonius is an improved version of the borrow checker that [resolves common limitations of the borrow checker][pc3] and which is needed to support future patterns such as ["lending iterators"][#92985].
+Polonius is an improved version of the borrow checker that [resolves common limitations of the borrow checker][pc3] and which is needed to support future patterns such as ["lending iterators"][#92985]. Its model also prepares us for further improvements in the future.
 
 [pc3]: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html#background-on-polonius
 [#92985]: https://github.com/rust-lang/rust/issues/92985
@@ -39,27 +39,39 @@ Polonius is an improved version of the borrow checker that [resolves common limi
 
 **Owner:** lqd
 
-Other support provided by Amanda Stjerna.
+Other support provided by [Amanda Stjerna][amanda] as part of her PhD.
+
+[amanda]: https://github.com/amandasystems
 
 ### Support needed from the project
 
-XXX
+We expect most support to be needed from the types team, for design, reviews, interactions with the trait solver, and so on. We expect [Niko Matsakis][niko], leading the polonius working group and design, to provide guidance and design time, and [Michael Goulet][errs] and [Matthew Jasper][matthew] to help with reviews.
+
+We expect little design input to be needed from the lang team, compared to two-way communication. Niko Matsakis co-leading the lang team would be able to be a liaison when needed.
+
+[niko]: https://github.com/nikomatsakis
+[errs]: https://github.com/compiler-errors
+[matthew]: https://github.com/matthewjasper
 
 ## Outputs and milestones
 
 ### Outputs
 
-* Nightly implementation of polonius that passes [problem case #3][pc3] and accepts [lending iterators][#92985].
+Nightly implementation of polonius that passes [NLL problem case #3][pc3] and accepts [lending iterators][#92985].
+
+Performance should be reasonable enough that we can run the full test suite, do crater runs, and test it on CI, without significant slowdowns. We do not expect to be production-ready yet by then, and therefore the implementation would still be gated under a nightly -Z feature flag.
+
+As our model is a superset of NLLs, we expect little to no diagnostics regressions, but improvements would probably still be needed for the new errors.
 
 ### Milestones
 
 | Milestone                                                              | Expected date |
 | ---------------------------------------------------------------------- | ------------- |
 | Factoring out higher-ranked concerns from the main path                | TBD           |
-| Location-insensitive loans in scope                                    | TBD           |
-| Verify full test suite passes with location-insensitive Polonius       | TBD           |
 | Replace parts of the borrow checker with location-insensitive Polonius | TBD           |
-| Location-sensitive pass on nightly                                     | TBD           |
+| Location-sensitive prototype on nightly                                | TBD           |
+| Verify full test suite/crater pass with location-sensitive Polonius    | TBD           |
+| Location-sensitive pass on nightly, tested on CI                       | TBD           |
 
 ## Frequently asked questions