@mcc if i were you, i would ask the author of https://github.com/thepowersgang/mrustc. they are active on libera.chat in the ##rust channel (nick mutabah)

i was talking to them about this about a decade ago when rust was still pretty new and we were both working on OSes in it. they took the approach in this post of assuming code already typechecked, but from what i understand it was still a pretty huge effort writing a compiler for it. I assume it’s even harder now with the kind of dyn and async rust you can write.

since then i think mrustc has supported borrow checking, im curious how they did that.

@nagirin

it was built by norwegians

is that why it cost the faroes so much money