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

Merged

bors merged 3 commits into

rust-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
82ad5c9
Revert "Do not allow typeck children items to constrain outer RPITs"
compiler-errors
committed
90939e6
Check that RPITs constrained by a recursive call in a closure are compatible
compiler-errors
committed
5e8f1e8