Skip to content

Add test for example found from removing fresh vars in rustc#784

Merged
bors merged 1 commit intorust-lang:masterfrom jackh726:coinductive_wrapperDec 1, 2022