a-mir-formality
a-mir-formality copied to clipboard
HRTB test cases from rust-lang/rust
Per this conversation, we should model:
- rust-lang/rust#84533
- rust-lang/rust#84591
- rust-lang/rust#98117