I think the translation should happen before HIR, no? I mean, unless cleanly translates into not if, which then translates into jumps in the HIR, no? I admittedly know only general compiler techniques, not rustic.
I concur about the nice write-up though 😃
HIR doesn't contain jumps. MIR contains them. HIR is very similar to the AST, and is directly generated from (then converted to type-checked HIR during typeck). HIR desugars features like async/await (to generators), for and while let loops (to loop with breaks), if let to match, and more.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
AFAIK, the Rust compiler never changes the AST. It should be a complete mirror of the source code. Desugaring happens on the HIR. But nice write-up :)
I think the translation should happen before HIR, no? I mean,
unlesscleanly translates intonot if, which then translates into jumps in the HIR, no? I admittedly know only general compiler techniques, not rustic.I concur about the nice write-up though 😃
HIR doesn't contain jumps. MIR contains them. HIR is very similar to the AST, and is directly generated from (then converted to type-checked HIR during typeck). HIR desugars features like async/await (to generators),
forandwhile letloops (toloopwith breaks),if lettomatch, and more.