a model of MIR and the Rust type/trait system
Why do you think that https://github.com/Warbo/theory-exploration-benchmarks is a good alternative to a-mir-formality
a model of MIR and the Rust type/trait system
Why do you think that https://github.com/Warbo/theory-exploration-benchmarks is a good alternative to a-mir-formality