Check that RPITs constrained by a recursive call in a closure are compatible#99079

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:issue-99073

Jul 27, 2022

Commits on Jul 26, 2022

Revert "use opaque_ty_origin_unchecked instead of destructuring HIR"
compiler-errors
committed
Revert "Do not allow typeck children items to constrain outer RPITs"
compiler-errors
committed
Check that RPITs constrained by a recursive call in a closure are compatible
compiler-errors
committed