Skip to content

Do not call name() on rpitit assoc_item#141308

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:fix-rpitit-error-reporting-ice
May 21, 2025
Merged

Do not call name() on rpitit assoc_item#141308
bors merged 1 commit intorust-lang:masterfrom
spastorino:fix-rpitit-error-reporting-ice

Commits

Commits on May 20, 2025