Closed
Description
Follow-up of rust-lang/rust#74582
This proposes to rename HAIR to THIR and it'll be likely accepted.
We have some mention of HAIR here, so the follow-up work will be needed as Niko said.
I'll work on this but in case let's create an issue just as a reminder.
Metadata
Metadata
Assignees
Labels
No labels