As I understand it, Rust differs from managed languages in the sense that all the checks it performs are done at compile-time. It forces you to write your code correctly, and in effect it proves that ...
"Memory managed languages? In my kernel?"—It's more likely than you think ...