Skip to content

Do anonymous lifetimes remapping correctly for nested rpits#103205

Merged
bors merged 2 commits intorust-lang:masterfrom
spastorino:fix-rpits-lifetime-remapping
Oct 20, 2022
Merged

Do anonymous lifetimes remapping correctly for nested rpits#103205
bors merged 2 commits intorust-lang:masterfrom
spastorino:fix-rpits-lifetime-remapping

Commits

Commits on Oct 19, 2022