The Challenges of Reference Counting in Rust

In Ruskin reference counting is somewhat of a user space thing. The compiler knows about it and in fact does can do optimizations around it. And because of that, that's actually one of the big challenges to going from like we have our typed AST essentially where we have like AST plus typed information. We have another IR that we go from that to what we call the mono IR, the mono morefized IR. And then mono from mono, you can go straight to machine code. But apparently the reference counting stuff would be a lot harder to do without that IR.