rust-lang/a-mir-formality

Here's a summary of the project and its value, adoption path, and production readiness: **Summary:** rust-lang/a-mir-formality is an open-source project that pr