Skip to content

Remove unneeded check_id calls as they are already called in visit_id in EarlyContextAndPass type#142305

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-visit_id-EarlyContextAndPass
Jun 12, 2025
Merged

Remove unneeded `check_id` calls as they are already called in `visit_id` in `EarlyContextAndPass` type#142305
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-visit_id-EarlyContextAndPass

Commits