>>106372450 (OP)
this is not about rust per say, but about "encoding a huge amount of semantics into the type system", which is not something specific to rust, or rust requires. it's something c can't do, so rust is first to make it a possibility in kernel land. and as tso said, the jury will still be out on whether that's a good idea for a while (2+ years).
the "think of the distro users" concern trolling got me chuckling. i missed that when the drama came out. the implication that (stable) distro packagers are promptly pushing sensitive mainline kernel fixes to users, and this process can't possibly be delayed for any amount of time, is quite hilarious.