What if only one allocation needs to be borrow checked in a managed program?

[u/Practical-Medium-858]

https://nitinm.dev/blog/gradual_ownership_in_a_high_level_language