Testing infra + contributors for a-mir-formality

[nikomatsakis]

Metadata
Owner(s)	@nikomatsakis
Team(s)	types
Goal document	2024h2/a-mir-formality

Summary

The goal for a-mir-formality this year is to bootstrap it as a live, maintained project:

• Achieve 2 regular contributors from T-types in addition to @nikomatsakis
• Support fuzz testing and/or the ability to test against rustc

Tasks and status

• Implementation (@nikomatsakis)
• Standard reviews (types )

[nikomatsakis]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

[nikomatsakis]

Key developments:

• Landed fuzzing infrastructure but not using it for anything.
• There have been some contributors opening PRs (🎉) but due to vacation and other things I haven't gotten back to them very well.

Next steps:

• Engage contributors
• Begin work towards loading test cases from stable-mir as well as modeling polonius (to tie in with Scalable Polonius support on nightly #118).

[nikomatsakis]

I think it's pretty clear that this goal never really happened. I'm still keen to see progress on building community around a-mir-formality but I overestimated my capacity (shocker). I'm going to close it for now but I plan to make up some plans for next session.