rust-lang/a-mir-formality
a model of MIR and the Rust type/trait system
366 stars72forks88issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
83 of 96outside PRs merged (86%)
checked
rust-lang/a-mir-formality
a model of MIR and the Rust type/trait system
Outside contributors get real replies here, and their work gets merged.
83 of 96outside PRs merged (86%)
checked
Where newcomer work lands
The evidence