Skip to content

Add regression test for mutual recursion in obligation forest#80429

Merged
bors merged 1 commit intorust-lang:masterfrom
JulianKnodt:ob_forest
Jan 21, 2021
Merged

Add regression test for mutual recursion in obligation forest#80429
bors merged 1 commit intorust-lang:masterfrom
JulianKnodt:ob_forest

Commits

Commits on Dec 29, 2020