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 #118).