Add regression test for mutual recursion in obligation forest#80429
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 21, 2021
Merged
Add regression test for mutual recursion in obligation forest#80429bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom