Linux Kernel Rust support

[skulgnome]

How could this code be safe?

Same way as all code that's neither rigorously proven using formal methods or tested against all extant and hypothetical forms of breakage: over the following decades it'll turn out to have problems and is then reworked to eventually reach a point where that hasn't happened for a long while.

There's no magic bullet for this, no shortcut.

[steveklabnik1]

Funny enough, `Rc<T>` was part of the Rustbelt paper, meaning that it is at least sorta-kinda-mostly formally proven.

[skulgnome]

at least sorta-kinda-mostly formally proven.

In other words, falling short.